bibliothek.extension.gui.dock.preference.preferences.choice
Class EclipseTabChoice

java.lang.Object
  bibliothek.extension.gui.dock.preference.preferences.choice.DefaultChoice<TabPainter>
      bibliothek.extension.gui.dock.preference.preferences.choice.EclipseTabChoice

All Implemented Interfaces:

Choice

public class EclipseTabChoice
extends DefaultChoice<TabPainter>

The way tabs are painted in the EclipseTheme

Author:

Benjamin Sigg

Nested Class Summary

Nested classes/interfaces inherited from class bibliothek.extension.gui.dock.preference.preferences.choice.DefaultChoice

DefaultChoice.Entry<V>

Constructor Summary

EclipseTabChoice(DockProperties properties)
Creates a new choice.

Method Summary

Methods inherited from class bibliothek.extension.gui.dock.preference.preferences.choice.DefaultChoice

add, add, addChoiceListener, addLinked, equals, fireInserted, fireRemoved, fireUpdated, getDefaultChoice, getEntry, getId, getText, getValue, identifierToValue, indexOfIdentifier, indexOfValue, isNullEntryAllowed, remove, removeChoiceListener, setController, setDefaultChoice, setNullEntryAllowed, size, valueToIdentifier

Methods inherited from class java.lang.Object

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

Constructor Detail

EclipseTabChoice

public EclipseTabChoice(DockProperties properties)

Creates a new choice.

Parameters:

properties - default settings