package-info.java

/**
 * 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 {@link bibliothek.extension.gui.dock.preference.PreferenceModel}s for their own set of 
 * properties or to use a {@link bibliothek.extension.gui.dock.preference.PreferenceStorage} to store preferences persistent. 
 */
package bibliothek.extension.gui.dock.preference;