| de.uka.ilkd.key.gui.configuration |
|
| Java Source File Name | Type | Comment |
| ChoiceSelector.java | Class | |
| ChoiceSettings.java | Class | |
| Config.java | Class | |
| ConfigChangeEvent.java | Class | |
| ConfigChangeListener.java | Interface | The ConfigChangeListener is notified if the UI settings in
class Config change. |
| GeneralSettings.java | Class | This class encapsulates the information about the active
Heuristics and the maximum amount of heuristics steps before an
interactive step is required. |
| LibrariesConfiguration.java | Class | |
| LibrariesSettings.java | Class | |
| PathConfig.java | Interface | |
| ProofSettings.java | Class | This class is used to load and save settings for proofs such as
which data type models are used to represent the java types. |
| Settings.java | Interface | |
| SettingsListener.java | Interface | This interface is implemented by objects that listen to settings
object. |
| SimultaneousUpdateSimplifierConfiguration.java | Class | |
| SimultaneousUpdateSimplifierSettings.java | Class | |
| StrategySettings.java | Class | |
| ViewSelector.java | Class | |
| ViewSettings.java | Class | This class encapsulates information about:
1) relative font size in the prover view
2) the maximal number of lines a tooltip with instantiated SchemaVariables
is allowed to have. |