private boolean immediate;
+ private boolean rendering = false;
+
public ISplitPanel() {
this(ORIENTATION_HORIZONTAL);
}
public void updateFromUIDL(UIDL uidl, ApplicationConnection client) {
this.client = client;
id = uidl.getId();
+ rendering = true;
immediate = uidl.hasAttribute("immediate");
if (client.updateComponent(this, uidl, true)) {
+ rendering = false;
return;
}
}
});
}
+ rendering = false;
+
}
private void setSplitPosition(String pos) {
DOM.setStyleAttribute(splitter, "top", pos);
}
iLayout();
- // TODO Check if this is needed
client.runDescendentsLayout(this);
}
public void setHeight(String height) {
this.height = height;
super.setHeight(height);
+ if (!rendering && client != null) {
+ iLayout();
+ client.runDescendentsLayout(this);
+ }
}
@Override
public void setWidth(String width) {
this.width = width;
super.setWidth(width);
+ if (!rendering && client != null) {
+ iLayout();
+ client.runDescendentsLayout(this);
+ }
}
public RenderSpace getAllocatedSpace(Widget child) {