tree 63f63a667852057ea842ea74020ceec521648b8b
parent 3a484c019f381d763b8114d46579439269cf53d7
author jgw@google.com <jgw@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1263414154 +0000
committer jgw@google.com <jgw@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1263414154 +0000

Fix for issue 4344. DockLayoutPanel should have been using doubles, not
ints, to keep track of positions in its layout code.
Review: http://gwt-code-reviews.appspot.com/132803

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