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

java.lang.Object
  extended by bibliothek.extension.gui.dock.preference.AbstractPreference<V>
      extended by bibliothek.extension.gui.dock.preference.DefaultPreference<String>
          extended by bibliothek.extension.gui.dock.preference.preferences.ChoiceDockPropertyPreference<TabPainter>
              extended by 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
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