Package | Description |
---|---|
de.uka.ilkd.key.gui.configuration |
This package contains classes to do with the configuration / settings of KeY.
|
Modifier and Type | Field and Description |
---|---|
static Config |
Config.DEFAULT |
Modifier and Type | Method and Description |
---|---|
Config |
ConfigChangeEvent.getSource()
returns the Config that caused this event
|
Constructor and Description |
---|
ConfigChangeEvent(Config source)
creates a new ConfigChangeEvent
|
Copyright © 2003-2019 The KeY-Project.