Package | Description |
---|---|
pub.vlsolutions.swing.docking.ws |
Dockable windows framework
|
Modifier and Type | Field and Description |
---|---|
protected java.util.HashMap<WSDockKey,java.util.LinkedList<WSDockKey>> |
WSDesktop.tabbedGroups
groups of tabs (used to re-tab autohidden dockable)
|
protected java.util.HashMap<WSDockKey,java.util.LinkedList<WSDockKey>> |
WSDesktop.tabbedGroups
groups of tabs (used to re-tab autohidden dockable)
|
Modifier and Type | Method and Description |
---|---|
void |
WSDesktop.addDockable(WSDockKey key)
Adds the first dockable to this desktop.
|
void |
WSDesktop.addDockable(WSDockKey compoundDockable,
WSDockKey childDockable)
Adds a dockable into a compound dockable
|
void |
WSDesktop.addHiddenDockable(WSDockKey dockable,
RelativeDockablePosition dockedPosition)
Adds a new dockable (and stores its return-to-docked position)
|
void |
WSDesktop.addToTabbedGroup(WSDockKey base,
WSDockKey newTab)
Registers a dockable as belonging to a tab group.
|
void |
WSDesktop.createTab(WSDockKey baseTab,
WSDockKey newTab,
int order)
Creates a tab containing baseTab and newTab (if baseTab is already into a Tab, then newTab will just be added at the "order" position.
|
void |
WSDesktop.setFloating(WSDockKey dockable,
java.awt.Rectangle windowRect,
RelativeDockablePosition returnPosition)
Adds a new floating dockable
|
void |
WSDesktop.setMaximizedDockable(WSDockKey max)
Sets the maximized dockable of this desktop, (or null if no dockable maximized).
|
void |
WSDesktop.split(WSDockKey base,
WSDockKey newDockable,
DockingConstants.Split split,
double splitLocation)
Splits a dockable (with a given split location)
|
Copyright © 2010-2014 Pacific Biosciences. All Rights Reserved.