public class DockTitleManager extends Object
DockTitleFactories
. Every
DockStation
will try to register some factories here. The factories
can be overridden by a client or a DockTheme
.Modifier and Type | Field and Description |
---|---|
static String |
THEME_FACTORY_ID
unique identifier of the
DockTitleVersion which represents the current DockTheme s default factory |
Constructor and Description |
---|
DockTitleManager(DockController controller)
Creates a new manager
|
Modifier and Type | Method and Description |
---|---|
void |
clearThemeFactories()
Removes all factories that were added by a theme
|
boolean |
existsTitleVersion(String id)
Tests whether there is a handle registered at
id or not. |
DockTitleVersion |
getVersion(String id)
Gets the handle with the key
id . |
DockTitleVersion |
getVersion(String id,
DockTitleFactory factory)
Gets the handle with the key
id . |
DockTitleVersion |
register(String id,
DockTitleFactory factory,
Priority priority)
Registers a factory for the given key
|
DockTitleVersion |
registerClient(String id,
DockTitleFactory factory)
Registers a factory with client-priority
|
DockTitleVersion |
registerDefault(String id,
DockTitleFactory factory)
Registers a factory with default-priority
|
DockTitleVersion |
registerTheme(String id,
DockTitleFactory factory)
Registers a factory with theme-priority
|
public static final String THEME_FACTORY_ID
DockTitleVersion
which represents the current DockTheme
s default factorypublic DockTitleManager(DockController controller)
controller
- the controller for which the titles are usedpublic boolean existsTitleVersion(String id)
id
or not.id
- the idtrue
if there is a handle, false
otherwisepublic DockTitleVersion getVersion(String id)
id
.id
- the keynull
if no handle is
registeredpublic DockTitleVersion getVersion(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(String id, DockTitleFactory factory)
id
- the key of the factoryfactory
- the factorypublic DockTitleVersion registerTheme(String id, DockTitleFactory factory)
id
- the key of the factoryfactory
- the factorypublic DockTitleVersion registerDefault(String id, DockTitleFactory factory)
id
- the key of the factoryfactory
- the factorypublic DockTitleVersion register(String id, DockTitleFactory factory, Priority priority)
id
- the key of the factoryfactory
- the factorypriority
- the priority of this registrationpublic void clearThemeFactories()