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

java.lang.Object
  extended by bibliothek.extension.gui.dock.preference.preferences.choice.DefaultChoice<TabContentFilter>
      extended by bibliothek.extension.gui.dock.preference.preferences.choice.TabContentFilterChoice
All Implemented Interfaces:
Choice

public class TabContentFilterChoice
extends DefaultChoice<TabContentFilter>

A set of choices of TabContentFilters.

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
TabContentFilterChoice(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

TabContentFilterChoice

public TabContentFilterChoice(DockProperties properties)
Creates a new choice

Parameters:
properties - default settings