Package | Description |
---|---|
de.uka.ilkd.key.gui.actions | |
de.uka.ilkd.key.gui.configuration |
This package contains classes to do with the configuration / settings of KeY.
|
Class and Description |
---|
ConfigChangeEvent
An event that indicates that the users focused node or proof has
changed
|
ConfigChangeListener
The ConfigChangeListener is notified if the UI settings in
class Config change.
|
Class and Description |
---|
ChoiceSelector.ChoiceEntry
Represents a choice with all its meta information.
|
Config
this class is used to set some default gui properties
|
ConfigChangeEvent
An event that indicates that the users focused node or proof has
changed
|
ConfigChangeListener
The ConfigChangeListener is notified if the UI settings in
class Config change.
|
Copyright © 2003-2019 The KeY-Project.