Package | Description |
---|---|
bibliothek.gui.dock.util.extension |
Contains classes to create and manage extensions.
|
Modifier and Type | Method and Description |
---|---|
Extension[] |
ExtensionManager.getExtensions()
Gets a list of all extensions that are currently known to this manager.
|
Modifier and Type | Method and Description |
---|---|
void |
ExtensionManager.add(Extension extension)
Adds
extension to the list of extensions. |
void |
ExtensionManager.remove(Extension extension)
Removes
extension from the list of extensions. |