From 8a3600741d7468a07d5c9082dd05833a0086ed58 Mon Sep 17 00:00:00 2001
From: Matti Tahvonen <matti.tahvonen@itmill.com>
Date: Wed, 17 Sep 2008 07:50:29 +0000
Subject: [PATCH] removed dummy developer check, hoping this to fix #2081

svn changeset:5417/svn branch:trunk
---
 .../terminal/gwt/client/ui/ISplitPanel.java   | 22 -------------------
 1 file changed, 22 deletions(-)

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 4aa6ff6b74..67f45d6ac8 100644
--- 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:
-- 
2.39.5