See: Description
Interface | Description |
---|---|
SettingsProvider |
A settings provider is an entry in an
SettingsUi . |
Validator<T> |
Class | Description |
---|---|
DefaultSettingsProvider | |
FontSizeFacade | |
SettingsDialog |
The settings dialog.
|
SettingsManager | |
SettingsPanel |
Extension of
SimpleSettingsPanel which uses MigLayout to
create a nice three-column view. |
SettingsUi | |
SimpleSettingsPanel |
A simple panel for using inside of the
SettingsUi . |
StandardUISettings | |
TacletOptionsSettings | |
TacletOptionsSettings.ChoiceEntry |
Represents a choice with all its meta information.
|
Exception | Description |
---|---|
InvalidSettingsInputException |
The settings UI consists out of a tree on left and customizable panes on the right.
You can participate on the default settings by adding a SettingsProvider
to SettingsManager.getInstance()
.
The typical built-in settings are already register within this method.
Also you could consider using an extension: KeYGuiExtension.Settings
.
Copyright © 2003-2019 The KeY-Project.