import com.google.gwt.user.client.ui.ComplexPanel;\r
import com.google.gwt.user.client.ui.Widget;\r
import com.itmill.toolkit.terminal.gwt.client.ApplicationConnection;\r
+import com.itmill.toolkit.terminal.gwt.client.BrowserInfo;\r
import com.itmill.toolkit.terminal.gwt.client.Container;\r
import com.itmill.toolkit.terminal.gwt.client.IErrorMessage;\r
import com.itmill.toolkit.terminal.gwt.client.Paintable;\r
renderInformation.setContentAreaHeight(renderInformation\r
.getRenderedSize().getHeight()\r
- borderPaddingVertical);\r
+ if (BrowserInfo.get().isIE6()) {\r
+ getElement().getStyle().setProperty("overflow", "hidden");\r
+ }\r
renderInformation.setContentAreaWidth(renderInformation\r
.getRenderedSize().getWidth()\r
- borderPaddingHorizontal);\r
+ if (BrowserInfo.get().isIE6()) {\r
+ getElement().getStyle().setProperty("overflow", "auto");\r
+ }\r
}\r
\r
public RenderSpace getAllocatedSpace(Widget child) {\r