06640f58f06ee78df22f4b7ec8f24e7f0dfcc112 - gwt

commit: 06640f58f06ee78df22f4b7ec8f24e7f0dfcc112
[log]
author: gwt.team.ecc <gwt.team.ecc@8db76d5a-ed1c-0410-87a9-c151d255dfc7>
Mon Dec 17 16:16:18 2007 +0000
committer: gwt.team.ecc <gwt.team.ecc@8db76d5a-ed1c-0410-87a9-c151d255dfc7>
Mon Dec 17 16:16:18 2007 +0000
tree: 06d8e28f978b103af655d70dc3e51c2734d47b3f
parent: 0f4b6d21ce575d292c3ced9863eb3e9078abe68a [diff]

Adding disabled styling for CheckBox as part of creating a default GWT css.
Patch by: jlabanca
Review by: ecc

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@1657 8db76d5a-ed1c-0410-87a9-c151d255dfc7

user/src/com/google/gwt/user/client/ui/CheckBox.java[diff]

1 file changed

tree: 06d8e28f978b103af655d70dc3e51c2734d47b3f

build-tools/
dev/
distro-source/
doc/
eclipse/
jni/
samples/
servlet/
tools/
user/
build.xml
common.ant.xml
platforms.ant.xml