Package bibliothek.gui.dock.util.extension

Interface Summary
Extension An extension provides a set of resources that override existing resources.
 

Class Summary
ExtensionManager Manages a set of Extensions.
ExtensionName<E> The name of some extension that can be loaded through Extension.