Package | Description |
---|---|
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 |
---|---|
void |
PreferenceEditor.setCallback(PreferenceEditorCallback<V> callback)
Sets a callback, a callback can be used to read the value that has to
be edited or to store the edited value.
Note: this editor should call set(Object)
whenever this editor shows a new valid value. |
Modifier and Type | Method and Description |
---|---|
void |
BooleanEditor.setCallback(PreferenceEditorCallback<java.lang.Boolean> callback) |
void |
KeyStrokeEditor.setCallback(PreferenceEditorCallback<javax.swing.KeyStroke> callback) |
void |
ModifierMaskEditor.setCallback(PreferenceEditorCallback<ModifierMask> callback) |
void |
LabelEditor.setCallback(PreferenceEditorCallback<java.lang.Object> callback) |
void |
ChoiceEditor.setCallback(PreferenceEditorCallback<java.lang.String> callback) |
void |
StringEditor.setCallback(PreferenceEditorCallback<java.lang.String> callback) |