Package | Description |
---|---|
bibliothek.gui |
The high level interfaces of the framework and the most often used classes.
|
bibliothek.gui.dock.frontend |
Classes and interfaces needed by the
DockFrontend |
bibliothek.gui.dock.layout |
Elements dealing with the location of
Dockable s
on their DockStation and allowing to store the
whole layout of a set of Dockable s and stations. |
Modifier and Type | Method and Description |
---|---|
void |
DockFrontend.registerAdjacentFactory(AdjacentDockFactory<?> factory)
Registers a factory that stores additional information for a set of
Dockable s. |
void |
DockFrontend.unregisterAdjacentFactory(AdjacentDockFactory<?> factory)
Removes an additional factory from this frontend.
|
Modifier and Type | Method and Description |
---|---|
AdjacentDockFactory<?>[] |
DockFrontendInternals.getAdjacentDockFactories()
Gets a list of all
AdjacentDockFactory s that were added using DockFrontend.registerAdjacentFactory(AdjacentDockFactory) . |
Modifier and Type | Method and Description |
---|---|
AdjacentDockFactory<?> |
DockSituation.getAdjacentFactory(java.lang.String id)
Gets the adjacent factory which has the given
id . |
Modifier and Type | Method and Description |
---|---|
java.util.Map<java.lang.String,AdjacentDockFactory<?>> |
DockSituation.getAdjacentFactorys()
Gets all the adjacent factories that are currently registered at this
DockSituation ,
the returned Map is unmodifiable. |
Modifier and Type | Method and Description |
---|---|
void |
DockSituation.addAdjacent(AdjacentDockFactory<?> factory)
Adds an adjacent factory
|
protected java.lang.String |
DockSituation.getAdjacentID(AdjacentDockFactory<?> factory)
Gets the id of
factory . |