removed dummy developer check, hoping this to fix #2081

svn changeset:5417/svn branch:trunk

diff --git a/src/com/itmill/toolkit/terminal/gwt/client/ui/ISplitPanel.java b/src/com/itmill/toolkit/terminal/gwt/client/ui/ISplitPanel.java
index 4aa6ff6b74c9d2d825ee44ea7a7ed440367a583f..67f45d6ac8dbafddac2bac45a91be2daa2599ead 100644 (file)
--- a/src/com/itmill/toolkit/terminal/gwt/client/ui/ISplitPanel.java
+++ b/src/com/itmill/toolkit/terminal/gwt/client/ui/ISplitPanel.java
@@ -292,28 +292,6 @@ public class ISplitPanel extends ComplexPanel implements Paintable,
         secondChild = w;
     }
 
-    public void setHeight(final String height) {
-        super.setHeight(height);
-        if (isAttached()) {
-            // give sane height
-            getOffsetHeight(); // shake IE
-            if (getOffsetHeight() < MIN_SIZE) {
-                super.setHeight(MIN_SIZE + "px");
-            }
-        }
-    }
-
-    public void setWidth(String width) {
-        super.setWidth(width);
-        if (isAttached()) {
-            // give sane width
-            getOffsetWidth(); // shake IE
-            if (getOffsetWidth() < MIN_SIZE) {
-                super.setWidth(MIN_SIZE + "px");
-            }
-        }
-    }
-
     public void onBrowserEvent(Event event) {
         switch (DOM.eventGetType(event)) {
         case Event.ONMOUSEMOVE: