Package | Description |
---|---|
bibliothek.extension.gui.dock |
Extensions to the
Core framework, including the BubbleTheme ,
EclipseTheme and the preference mechanism. |
bibliothek.extension.gui.dock.preference |
Generic collection of preferences used in this framework.
|
bibliothek.extension.gui.dock.preference.editor |
A set of
PreferenceEditor s
for types that are often used. |
Modifier and Type | Method and Description |
---|---|
protected <V> PreferenceEditor<V> |
PreferenceTable.createEditor(Path type)
Creates a new editor for
type . |
Modifier and Type | Method and Description |
---|---|
PreferenceEditor<V> |
PreferenceEditorFactory.create()
Creates a new editor.
|
Modifier and Type | Class and Description |
---|---|
class |
BooleanEditor
An editor intended to be used for
Path.TYPE_BOOLEAN_PATH . |
class |
ChoiceEditor
An editor using a
Choice to let the user select one string-identifier. |
class |
KeyStrokeEditor
An editor for
KeyStroke s. |
class |
LabelEditor
A label editor just shows some object, but does not modify the object.
|
class |
ModifierMaskEditor
An editor for
ModifierMask s. |
class |
StringEditor
An editor used to edit
String s. |
Modifier and Type | Method and Description |
---|---|
PreferenceEditor<?> |
EditorText.getEditor()
Gets the editor which is used by this text.
|
Constructor and Description |
---|
EditorText(String id,
PreferenceEditor<?> editor)
Creates a new text.
|