* */
	public void setDockableHeight(Dockable dockable, double height) {
		SplitContainer split = DockingUtilities.getSplitPane(dockable,
				JSplitPane.VERTICAL_SPLIT);
		if (split == null)
			return;
		if (((Container) split.getTopComponent()).isAncestorOf(dockable
				.getComponent())) {
			split.setDividerLocation(height);
		} else {
			split.setDividerLocation(1 - height);
		}
	}