]> source.dussan.org Git - vaadin-framework.git/commitdiff
IE fixes
authorMatti Tahvonen <matti.tahvonen@itmill.com>
Fri, 5 Oct 2007 13:15:42 +0000 (13:15 +0000)
committerMatti Tahvonen <matti.tahvonen@itmill.com>
Fri, 5 Oct 2007 13:15:42 +0000 (13:15 +0000)
svn changeset:2445/svn branch:trunk

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

index a59ff25f37d3726aa405ffd0348072f1f1696b74..575cb9abfad1c467a63529dadc65661e73f3b17b 100644 (file)
@@ -64,6 +64,7 @@ public class ISplitPanel extends ComplexPanel implements Paintable,
                setOrientation(orientation);
                setSplitPosition("50%");
                DOM.sinkEvents(splitter, (Event.MOUSEEVENTS));
+               DOM.sinkEvents(getElement(), (Event.MOUSEEVENTS));
        }
 
        protected void constructDom() {
@@ -208,15 +209,17 @@ public class ISplitPanel extends ComplexPanel implements Paintable,
        public void setHeight(String height) {
                super.setHeight(height);
                // give sane height
+               getOffsetHeight(); // shake IE
                if (getOffsetHeight() < SPLITTER_SIZE)
-                       setHeight((SPLITTER_SIZE * 3) + "px");
+                       super.setHeight((SPLITTER_SIZE * 3) + "px");
        }
 
        public void setWidth(String width) {
                super.setWidth(width);
                // give sane width
+               getOffsetWidth(); // shake IE
                if (getOffsetWidth() < SPLITTER_SIZE)
-                       setWidth((SPLITTER_SIZE * 3) + "px");
+                       super.setWidth((SPLITTER_SIZE * 3) + "px");
        }
 
        public void onBrowserEvent(Event event) {