Package | Description |
---|---|
de.uka.ilkd.key.gui.configuration |
This package contains classes to do with the configuration / settings of KeY.
|
de.uka.ilkd.key.gui.settings |
This package provides a facility for a settings UI.
|
de.uka.ilkd.key.settings |
Constructor and Description |
---|
ChoiceSelector(javax.swing.JFrame mainWindow,
ChoiceSettings settings)
Creates a new dialog for choosing taclet options.
|
Modifier and Type | Method and Description |
---|---|
static ChoiceSettings |
SettingsManager.getChoiceSettings(MainWindow window) |
Modifier and Type | Method and Description |
---|---|
ChoiceSettings |
ProofSettings.getChoiceSettings()
returns the ChoiceSettings object
|
ChoiceSettings |
ChoiceSettings.updateWith(java.lang.Iterable<Choice> sc) |
Copyright © 2003-2019 The KeY-Project.