public class EclipseTabChoiceExtension extends Object implements bibliothek.extension.gui.dock.preference.preferences.choice.ChoiceExtension<bibliothek.extension.gui.dock.theme.eclipse.stack.tab.TabPainter>
Constructor and Description |
---|
EclipseTabChoiceExtension() |
Modifier and Type | Method and Description |
---|---|
bibliothek.extension.gui.dock.theme.eclipse.stack.tab.TabPainter |
getChoice(int index) |
String |
getDefaultChoice() |
String |
getId(int index) |
String |
getText(int index) |
boolean |
isTextKey(int index) |
int |
size() |
public bibliothek.extension.gui.dock.theme.eclipse.stack.tab.TabPainter getChoice(int index)
getChoice
in interface bibliothek.extension.gui.dock.preference.preferences.choice.ChoiceExtension<bibliothek.extension.gui.dock.theme.eclipse.stack.tab.TabPainter>
public String getDefaultChoice()
getDefaultChoice
in interface bibliothek.extension.gui.dock.preference.preferences.choice.ChoiceExtension<bibliothek.extension.gui.dock.theme.eclipse.stack.tab.TabPainter>
public String getId(int index)
getId
in interface bibliothek.extension.gui.dock.preference.preferences.choice.ChoiceExtension<bibliothek.extension.gui.dock.theme.eclipse.stack.tab.TabPainter>
public String getText(int index)
getText
in interface bibliothek.extension.gui.dock.preference.preferences.choice.ChoiceExtension<bibliothek.extension.gui.dock.theme.eclipse.stack.tab.TabPainter>
public boolean isTextKey(int index)
isTextKey
in interface bibliothek.extension.gui.dock.preference.preferences.choice.ChoiceExtension<bibliothek.extension.gui.dock.theme.eclipse.stack.tab.TabPainter>
public int size()
size
in interface bibliothek.extension.gui.dock.preference.preferences.choice.ChoiceExtension<bibliothek.extension.gui.dock.theme.eclipse.stack.tab.TabPainter>