[gwt-contrib] Re: Fix for issue 3527 (ButtonElement.disabled has wrong type)

[jgw]

Fair enough. How's that?

http://gwt-code-reviews.appspot.com/33823

--~--~---------~--~----~------------~-------~--~----~
http://groups.google.com/group/Google-Web-Toolkit-Contributors
-~----------~----~----~----~------~----~------~--~---