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. |