tree 965c07e8bbd250540c6446ed64cfb841f16d6c07
parent 4d0386d40fa1bebb6ee86f440c8e18f9e8b9c111
author gwt.team.jgw <gwt.team.jgw@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1180102410 +0000
committer gwt.team.jgw <gwt.team.jgw@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1180102410 +0000

Makes disabled buttons appear differently in KitchenSink (to deal in particular
with the fact that Safari doesn't render disabled buttons differently by
default).
Patch by: bobv
Review by: jgw


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