http://gwt-code-reviews.appspot.com/719802/diff/1/2 File user/src/com/google/gwt/user/client/ui/DockLayoutPanel.java (right):
http://gwt-code-reviews.appspot.com/719802/diff/1/2#newcode315 user/src/com/google/gwt/user/client/ui/DockLayoutPanel.java:315: public void setWidgetSize(Widget widget, int size) { This needs to be a double (all units except PX can be non-integral). http://gwt-code-reviews.appspot.com/719802/show -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
