de.uka.ilkd.key.gui.configuration

Interfaces

• ConfigChangeListener

Classes

• ChoiceSelector
• ChoiceSelector.ChoiceEntry
• Config
• ConfigChangeAdapter
• ConfigChangeEvent
• ViewSelector
• ViewSelector.NumberDocument
• ViewSelector.NumberInputField