Package bibliothek.gui.dock.util

Interface Summary
DockPropertyListener<A> A listener to an entry of DockProperties.
 

Class Summary
DockProperties A set of properties that are used at different places all over the framework.
DockUtilities A list of methods which can be used for different purposes.
DockUtilities.DockVisitor A visitor used to visit the nodes of a dock-tree.
PropertyKey<A> The key for an entry of DockProperties.
PropertyValue<A> A wrapper for a value which is either read from DockProperties, or can be set by the client directly.
 

Enum Summary
Priority Often resources are divided into three kinds with different priorities.