Changeset 5265
- Timestamp:
- 08/26/08 07:17:34 (3 months ago)
- Files:
-
- 1 modified
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/com/itmill/toolkit/terminal/gwt/client/ui/ISplitPanel.java
r5150 r5265 13 13 import com.google.gwt.user.client.ui.Widget; 14 14 import com.itmill.toolkit.terminal.gwt.client.ApplicationConnection; 15 import com.itmill.toolkit.terminal.gwt.client.BrowserInfo; 15 16 import com.itmill.toolkit.terminal.gwt.client.ContainerResizedListener; 16 17 import com.itmill.toolkit.terminal.gwt.client.Paintable; … … 193 194 int pixelPosition; 194 195 195 DOM.setStyleAttribute(firstContainer, "overflow", "hidden"); 196 DOM.setStyleAttribute(secondContainer, "overflow", "hidden"); 196 if (!(resizing && BrowserInfo.get().isGecko())) { 197 DOM.setStyleAttribute(firstContainer, "overflow", "hidden"); 198 DOM.setStyleAttribute(secondContainer, "overflow", "hidden"); 199 } 197 200 198 201 switch (orientation) { … … 264 267 } else { 265 268 Util.runDescendentsLayout(this); 266 DOM.setStyleAttribute(firstContainer, "overflow", "auto"); 267 DOM.setStyleAttribute(secondContainer, "overflow", "auto"); 269 if (!(resizing && BrowserInfo.get().isGecko())) { 270 DOM.setStyleAttribute(firstContainer, "overflow", "auto"); 271 DOM.setStyleAttribute(secondContainer, "overflow", "auto"); 272 } 268 273 } 269 274
