* */
	public void setDockableWidth(Dockable dockable, double width) {
		SplitContainer split = DockingUtilities.getSplitPane(dockable,
				JSplitPane.HORIZONTAL_SPLIT);
		if (split == null)
			return;
		if (((Container) split.getLeftComponent()).isAncestorOf(dockable
				.getComponent())) {
			split.setDividerLocation(width);
		} else {
			split.setDividerLocation(1.0 - width);
		}
	}