|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object bibliothek.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 | |
---|---|
static java.lang.String |
THEME_FACTORY_ID
unique identifier of the DockTitleVersion which represents the current DockTheme s default factory |
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 |
getVersion(java.lang.String id,
DockTitleFactory factory)
Gets the handle with the key id . |
DockTitleVersion |
register(java.lang.String id,
DockTitleFactory factory,
Priority priority)
Registers a factory for 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 |
---|
public static final java.lang.String THEME_FACTORY_ID
DockTitleVersion
which represents the current DockTheme
s default factory
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 getVersion(java.lang.String id, DockTitleFactory factory)
id
. If the key is unknown, then
a new handle is created, using factory
as default factory.
id
- the key of the handlefactory
- the default factory used when a new handle has to be created, can be null
public 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 |