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 |
---|---|
void |
PreferenceTable.addOperation(PreferenceOperation operation)
Adds a new operation at the end of the set of operations.
|
void |
PreferenceTreePanel.addOperation(PreferenceOperation operation)
Adds an operation to this panel.
|
void |
PreferenceTable.insertOperation(int index,
PreferenceOperation operation)
Insert an operation at the given index.
|
Modifier and Type | Field and Description |
---|---|
static PreferenceOperation |
PreferenceOperation.DEFAULT
Operation for setting a property to its default value
|
static PreferenceOperation |
PreferenceOperation.DELETE
Operation for deleting a property.
|
Modifier and Type | Method and Description |
---|---|
PreferenceOperation |
PreferenceOperationIcon.getOperation()
Gets the operation for which this icon is used.
|
PreferenceOperation |
PreferenceOperationText.getOperation()
Gets the element that is using this text.
|
PreferenceOperation |
PreferenceOperationView.getOperation()
Gets the operation which is represented by this view.
|
PreferenceOperation[] |
AbstractPreference.getOperations() |
PreferenceOperation[] |
DefaultPreference.getOperations() |
PreferenceOperation[] |
Preference.getOperations()
Gets a list of operations which can be executed by this preference.
|
PreferenceOperation[] |
AbstractPreferenceModel.getOperations(int index) |
PreferenceOperation[] |
DefaultPreferenceModel.getOperations(int index) |
PreferenceOperation[] |
PreferenceModel.getOperations(int index)
Gets all operations for which this model has a definition for
the preference at location
index . |
PreferenceOperation[] |
PreferenceTreeModel.getOperations(int index) |
Modifier and Type | Method and Description |
---|---|
void |
AbstractPreferenceModel.doOperation(int index,
PreferenceOperation operation) |
void |
DefaultPreferenceModel.doOperation(int index,
PreferenceOperation operation) |
void |
PreferenceModel.doOperation(int index,
PreferenceOperation operation)
Executes the enabled operation
operation . |
void |
PreferenceTreeModel.doOperation(int index,
PreferenceOperation operation) |
void |
AbstractPreference.doOperation(PreferenceOperation operation) |
void |
DefaultPreference.doOperation(PreferenceOperation operation) |
void |
Preference.doOperation(PreferenceOperation operation)
Executes the enabled operation
operation . |
void |
PreferenceEditor.doOperation(PreferenceOperation operation)
Executes the operation that matches
operation or does
nothing if operation is unknown. |
boolean |
AbstractPreferenceModel.isEnabled(int index,
PreferenceOperation operation) |
boolean |
DefaultPreferenceModel.isEnabled(int index,
PreferenceOperation operation) |
boolean |
PreferenceModel.isEnabled(int index,
PreferenceOperation operation)
Tells whether the operation
operation is enabled for
the preference at location index . |
boolean |
PreferenceTreeModel.isEnabled(int index,
PreferenceOperation operation) |
boolean |
AbstractPreference.isEnabled(PreferenceOperation operation) |
boolean |
DefaultPreference.isEnabled(PreferenceOperation operation) |
boolean |
Preference.isEnabled(PreferenceOperation operation)
Tells whether
operation is enabled and thus Preference.doOperation(PreferenceOperation)
can be called. |
void |
PreferenceEditorCallback.setOperation(PreferenceOperation operation,
boolean enabled)
Tells this callback that the editor knows how to perform
operation . |
Constructor and Description |
---|
PreferenceOperationIcon(String id,
PreferenceOperation operation)
Creates a new icon.
|
PreferenceOperationText(String id,
PreferenceOperation operation)
Creates a new text.
|
Modifier and Type | Method and Description |
---|---|
void |
BooleanEditor.doOperation(PreferenceOperation operation) |
void |
ChoiceEditor.doOperation(PreferenceOperation operation) |
void |
KeyStrokeEditor.doOperation(PreferenceOperation operation) |
void |
LabelEditor.doOperation(PreferenceOperation operation) |
void |
ModifierMaskEditor.doOperation(PreferenceOperation operation) |
void |
StringEditor.doOperation(PreferenceOperation operation) |