|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ExtensionManager | |
---|---|
bibliothek.gui | The high level interfaces of the framework and the most often used classes. |
bibliothek.gui.dock.control | Classes responsible to handle some global task. |
Uses of ExtensionManager in bibliothek.gui |
---|
Methods in bibliothek.gui that return ExtensionManager | |
---|---|
ExtensionManager |
DockController.getExtensions()
Gets all extensions that are used by this controller. |
Uses of ExtensionManager in bibliothek.gui.dock.control |
---|
Methods in bibliothek.gui.dock.control that return ExtensionManager | |
---|---|
ExtensionManager |
DefaultDockControllerFactory.createExtensionManager(DockController controller,
ControllerSetupCollection setup)
|
ExtensionManager |
DockControllerFactory.createExtensionManager(DockController controller,
ControllerSetupCollection setup)
Creates a new ExtensionManager . |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |