]> source.dussan.org Git - vaadin-framework.git/commitdiff
Does not try to change overflow during resize in gecko browsers. Fixes performance...
authorMarc Englund <marc.englund@itmill.com>
Tue, 26 Aug 2008 07:17:34 +0000 (07:17 +0000)
committerMarc Englund <marc.englund@itmill.com>
Tue, 26 Aug 2008 07:17:34 +0000 (07:17 +0000)
svn changeset:5265/svn branch:trunk

src/com/itmill/toolkit/terminal/gwt/client/ui/ISplitPanel.java

index 6f5060e7f0d565b92c7de1ad24fac1966a8d545d..baf194d93911d658928e85a301938115cdc57c73 100644 (file)
@@ -12,6 +12,7 @@ import com.google.gwt.user.client.Event;
 import com.google.gwt.user.client.ui.ComplexPanel;
 import com.google.gwt.user.client.ui.Widget;
 import com.itmill.toolkit.terminal.gwt.client.ApplicationConnection;
+import com.itmill.toolkit.terminal.gwt.client.BrowserInfo;
 import com.itmill.toolkit.terminal.gwt.client.ContainerResizedListener;
 import com.itmill.toolkit.terminal.gwt.client.Paintable;
 import com.itmill.toolkit.terminal.gwt.client.UIDL;
@@ -192,8 +193,10 @@ public class ISplitPanel extends ComplexPanel implements Paintable,
         int wholeSize;
         int pixelPosition;
 
-        DOM.setStyleAttribute(firstContainer, "overflow", "hidden");
-        DOM.setStyleAttribute(secondContainer, "overflow", "hidden");
+        if (!(resizing && BrowserInfo.get().isGecko())) {
+            DOM.setStyleAttribute(firstContainer, "overflow", "hidden");
+            DOM.setStyleAttribute(secondContainer, "overflow", "hidden");
+        }
 
         switch (orientation) {
         case ORIENTATION_HORIZONTAL:
@@ -263,8 +266,10 @@ public class ISplitPanel extends ComplexPanel implements Paintable,
             });
         } else {
             Util.runDescendentsLayout(this);
-            DOM.setStyleAttribute(firstContainer, "overflow", "auto");
-            DOM.setStyleAttribute(secondContainer, "overflow", "auto");
+            if (!(resizing && BrowserInfo.get().isGecko())) {
+                DOM.setStyleAttribute(firstContainer, "overflow", "auto");
+                DOM.setStyleAttribute(secondContainer, "overflow", "auto");
+            }
         }
 
     }