Uses of Interface
bibliothek.gui.dock.util.extension.Extension

Packages that use Extension

Package	Description
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

Modifier and Type	Method and Description
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

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.