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 |