commit 295cd600d0443b560961bd9a3a8f9dfd2ba2e633
author jgw@google.com <jgw@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> Wed Jan 13 20:22:34 2010 +0000
committer jgw@google.com <jgw@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> Wed Jan 13 20:22:34 2010 +0000
tree 63f63a667852057ea842ea74020ceec521648b8b
parent 3a484c019f381d763b8114d46579439269cf53d7

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

user/src/com/google/gwt/user/client/ui/DockLayoutPanel.java

diff --git a/user/src/com/google/gwt/user/client/ui/DockLayoutPanel.java b/user/src/com/google/gwt/user/client/ui/DockLayoutPanel.java
index b95cb53..c026d10 100644
--- a/user/src/com/google/gwt/user/client/ui/DockLayoutPanel.java
+++ b/user/src/com/google/gwt/user/client/ui/DockLayoutPanel.java
@@ -378,7 +378,7 @@
   }
 
   private void doLayout() {
-    int left = 0, top = 0, right = 0, bottom = 0;
+    double left = 0, top = 0, right = 0, bottom = 0;
 
     for (Widget child : getChildren()) {
       LayoutData data = (LayoutData) child.getLayoutData();