Package bibliothek.extension.gui.dock.preference

Generic collection of preferences used in this framework.

See: Description

Package bibliothek.extension.gui.dock.preference Description

Generic collection of preferences used in this framework. Intended to be shown to the user so he can change the preferences. Clients might be interested in implementing new PreferenceModels for their own set of properties or to use a PreferenceStorage to store preferences persistent.