pixelPosition = DOM.getElementPropertyInt(splitter, "offsetTop");
// reposition splitter in case it is out of box
+ int pixelSize = getSplitterSize();
if (pixelPosition > 0
&& pixelPosition + getSplitterSize() > wholeSize) {
pixelPosition = wholeSize - getSplitterSize();
private int getSplitterSize() {
if (splitterSize < 0) {
if (isAttached()) {
- splitterSize = DOM.getElementPropertyInt(splitter,
- "offsetWidth");
+ switch (orientation) {
+ case ORIENTATION_HORIZONTAL:
+ splitterSize = DOM.getElementPropertyInt(splitter,
+ "offsetWidth");
+ break;
+
+ default:
+ splitterSize = DOM.getElementPropertyInt(splitter,
+ "offsetHeight");
+ break;
+ }
}
}
return splitterSize;
public class TestSplitPanel extends com.itmill.toolkit.Application {
- SplitPanel horizontalSplit = new SplitPanel(
- SplitPanel.ORIENTATION_HORIZONTAL);
- // this works
- //SplitPanel verticalSplit = new SplitPanel(SplitPanel.ORIENTATION_HORIZONTAL);
- // TODO: this does NOT work
+ // SplitPanel verticalSplit = new
+ // SplitPanel(SplitPanel.ORIENTATION_HORIZONTAL);
SplitPanel verticalSplit = new SplitPanel(SplitPanel.ORIENTATION_VERTICAL);
-
+
public void init() {
Window mainWindow = new Window("Feature Browser");
setMainWindow(mainWindow);
-
+
verticalSplit.setFirstComponent(new Label("vertical first"));
verticalSplit.setSecondComponent(new Label("vertical second"));
-
-// horizontalSplit.setFirstComponent(new Label("horizontal first"));
-// horizontalSplit.setSecondComponent(new Label("horizontal second"));
mainWindow.setLayout(verticalSplit);
+
}
}