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

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.