From 957150bc844782d0210c86999cbc1720a5d5e7b5 Mon Sep 17 00:00:00 2001 From: Matti Tahvonen Date: Fri, 5 Oct 2007 13:15:42 +0000 Subject: [PATCH] IE fixes svn changeset:2445/svn branch:trunk --- .../itmill/toolkit/terminal/gwt/client/ui/ISplitPanel.java | 7 +++++-- 1 file changed, 5 insertions(+), 2 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 a59ff25f37..575cb9abfa 100644 --- a/src/com/itmill/toolkit/terminal/gwt/client/ui/ISplitPanel.java +++ b/src/com/itmill/toolkit/terminal/gwt/client/ui/ISplitPanel.java @@ -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) { -- 2.39.5