|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectbibliothek.gui.dock.title.DockTitleManager
public class DockTitleManager
The manager of the DockTitleFactories
. Every
DockStation
will try to register some factories here. The factories
can be overridden by a client or a DockTheme
.
Field Summary | |
---|---|
private DockController |
controller
The controller for which the factories are stored |
private java.util.Map<java.lang.String,DockTitleVersion> |
titleVersions
A map of all versions registered at this manager |
Constructor Summary | |
---|---|
DockTitleManager(DockController controller)
Creates a new manager |
Method Summary | |
---|---|
void |
clearThemeFactories()
Removes all factories that were added by a theme |
boolean |
existsTitleVersion(java.lang.String id)
Tests whether there is a handle registered at id or not. |
DockTitleVersion |
getVersion(java.lang.String id)
Gets the handle with the key id . |
DockTitleVersion |
register(java.lang.String id,
DockTitleFactory factory,
Priority priority)
Registers a factory at the given key |
DockTitleVersion |
registerClient(java.lang.String id,
DockTitleFactory factory)
Registers a factory with client-priority |
DockTitleVersion |
registerDefault(java.lang.String id,
DockTitleFactory factory)
Registers a factory with default-priority |
DockTitleVersion |
registerTheme(java.lang.String id,
DockTitleFactory factory)
Registers a factory with theme-priority |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private java.util.Map<java.lang.String,DockTitleVersion> titleVersions
private DockController controller
Constructor Detail |
---|
public DockTitleManager(DockController controller)
controller
- the controller for which the titles are usedMethod Detail |
---|
public boolean existsTitleVersion(java.lang.String id)
id
or not.
id
- the id
true
if there is a handle, false
otherwisepublic DockTitleVersion getVersion(java.lang.String id)
id
.
id
- the key
null
if no handle is
registeredpublic DockTitleVersion registerClient(java.lang.String id, DockTitleFactory factory)
id
- the key of the factoryfactory
- the factory
public DockTitleVersion registerTheme(java.lang.String id, DockTitleFactory factory)
id
- the key of the factoryfactory
- the factory
public DockTitleVersion registerDefault(java.lang.String id, DockTitleFactory factory)
id
- the key of the factoryfactory
- the factory
public DockTitleVersion register(java.lang.String id, DockTitleFactory factory, Priority priority)
id
- the key of the factoryfactory
- the factorypriority
- the priority of this registration
public void clearThemeFactories()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |