bibliothek.extension.gui.dock.preference.preferences

Class EclipseTabPreference

java.lang.Object

bibliothek.extension.gui.dock.preference.AbstractPreference<V>

bibliothek.extension.gui.dock.preference.DefaultPreference<String>

bibliothek.extension.gui.dock.preference.preferences.ChoiceDockPropertyPreference<TabPainter>

bibliothek.extension.gui.dock.preference.preferences.EclipseTabPreference

All Implemented Interfaces:

Preference<String>

public class EclipseTabPreference
extends ChoiceDockPropertyPreference<TabPainter>

Determines the way tabs are painted in the EclipseTheme.

Author:

Benjamin Sigg

Constructor Summary

Constructors

Constructor and Description
EclipseTabPreference(DockProperties properties) Creates a new preference

Method Summary

Methods inherited from class bibliothek.extension.gui.dock.preference.preferences.ChoiceDockPropertyPreference

read, write

Methods inherited from class bibliothek.extension.gui.dock.preference.DefaultPreference

addPreferenceListener, doOperation, getDefaultValue, getDescription, getLabel, getOperations, getPath, getTypePath, getValue, getValueInfo, isEnabled, isNatural, removePreferenceListener, setDefaultValue, setDescription, setDescriptionId, setLabel, setLabelId, setModel, setNatural, setValue, setValueInfo

Methods inherited from class bibliothek.extension.gui.dock.preference.AbstractPreference

fireChanged, hasListeners, listeners

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EclipseTabPreference

public EclipseTabPreference(DockProperties properties)

Creates a new preference

Parameters:

properties - the properties to read from or to write to