On 2012/04/05 19:39:54, rdayal wrote:
Ping. Is this patch dead, or do we still want to get this in?
I remember that we were not able to push it into release (2.4 ?). But this problem is still causing problems in GWT Designer. http://gwt-code-reviews.appspot.com/1490801/ -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
