|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Extension | |
---|---|
bibliothek.gui.dock.util.extension | Contains classes to create and manage extensions. |
Uses of Extension in bibliothek.gui.dock.util.extension |
---|
Methods in bibliothek.gui.dock.util.extension that return Extension | |
---|---|
Extension[] |
ExtensionManager.getExtensions()
Gets a list of all extensions that are currently known to this manager. |
Methods in bibliothek.gui.dock.util.extension with parameters of type Extension | |
---|---|
void |
ExtensionManager.add(Extension extension)
Adds extension to the list of extensions. |
void |
ExtensionManager.remove(Extension extension)
Removes extension from the list of extensions. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |