See: Description
Interface | Description |
---|---|
ConfigChangeListener |
The ConfigChangeListener is notified if the UI settings in
class Config change.
|
Class | Description |
---|---|
ChoiceSelector | |
ChoiceSelector.ChoiceEntry |
Represents a choice with all its meta information.
|
Config |
this class is used to set some default gui properties
|
ConfigChangeAdapter | |
ConfigChangeEvent |
An event that indicates that the users focused node or proof has
changed
|
ViewSelector | |
ViewSelector.NumberDocument | |
ViewSelector.NumberInputField |