de.uka.ilkd.key.gui.settings
Interfaces
SettingsProvider
Validator
Classes
DefaultSettingsProvider
FontSizeFacade
SettingsDialog
SettingsManager
SettingsPanel
SettingsUi
SimpleSettingsPanel
StandardUISettings
TacletOptionsSettings
TacletOptionsSettings.ChoiceEntry
Exceptions
InvalidSettingsInputException