setOrientation(orientation);
setSplitPosition("50%");
DOM.sinkEvents(splitter, (Event.MOUSEEVENTS));
+ DOM.sinkEvents(getElement(), (Event.MOUSEEVENTS));
}
protected void constructDom() {
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) {