Package bibliothek.gui.dock.frontend

Class Summary
Setting The set of properties that describe one setting of a DockFrontend.