glass.eclipse.theme
Class EclipseTabChoiceExtension

java.lang.Object
  extended by glass.eclipse.theme.EclipseTabChoiceExtension
All Implemented Interfaces:
bibliothek.extension.gui.dock.preference.preferences.choice.ChoiceExtension<bibliothek.extension.gui.dock.theme.eclipse.stack.tab.TabPainter>

public class EclipseTabChoiceExtension
extends java.lang.Object
implements bibliothek.extension.gui.dock.preference.preferences.choice.ChoiceExtension<bibliothek.extension.gui.dock.theme.eclipse.stack.tab.TabPainter>


Field Summary
 
Fields inherited from interface bibliothek.extension.gui.dock.preference.preferences.choice.ChoiceExtension
CHOICE_EXTENSION, CHOICE_PARAMETER
 
Constructor Summary
EclipseTabChoiceExtension()
           
 
Method Summary
 bibliothek.extension.gui.dock.theme.eclipse.stack.tab.TabPainter getChoice(int index)
           
 java.lang.String getDefaultChoice()
           
 java.lang.String getId(int index)
           
 java.lang.String getText(int index)
           
 boolean isTextKey(int index)
           
 int size()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

EclipseTabChoiceExtension

public EclipseTabChoiceExtension()
Method Detail

getChoice

public bibliothek.extension.gui.dock.theme.eclipse.stack.tab.TabPainter getChoice(int index)
Specified by:
getChoice in interface bibliothek.extension.gui.dock.preference.preferences.choice.ChoiceExtension<bibliothek.extension.gui.dock.theme.eclipse.stack.tab.TabPainter>

getDefaultChoice

public java.lang.String getDefaultChoice()
Specified by:
getDefaultChoice in interface bibliothek.extension.gui.dock.preference.preferences.choice.ChoiceExtension<bibliothek.extension.gui.dock.theme.eclipse.stack.tab.TabPainter>

getId

public java.lang.String getId(int index)
Specified by:
getId in interface bibliothek.extension.gui.dock.preference.preferences.choice.ChoiceExtension<bibliothek.extension.gui.dock.theme.eclipse.stack.tab.TabPainter>

getText

public java.lang.String getText(int index)
Specified by:
getText in interface bibliothek.extension.gui.dock.preference.preferences.choice.ChoiceExtension<bibliothek.extension.gui.dock.theme.eclipse.stack.tab.TabPainter>

isTextKey

public boolean isTextKey(int index)
Specified by:
isTextKey in interface bibliothek.extension.gui.dock.preference.preferences.choice.ChoiceExtension<bibliothek.extension.gui.dock.theme.eclipse.stack.tab.TabPainter>

size

public int size()
Specified by:
size in interface bibliothek.extension.gui.dock.preference.preferences.choice.ChoiceExtension<bibliothek.extension.gui.dock.theme.eclipse.stack.tab.TabPainter>