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.
|
Modifier and Type | Class and Description |
---|---|
class |
DecreaseFontSizeAction |
class |
IncreaseFontSizeAction |
Modifier and Type | Class and Description |
---|---|
class |
ConfigChangeAdapter |
Modifier and Type | Method and Description |
---|---|
void |
Config.addConfigChangeListener(ConfigChangeListener listener) |
void |
Config.removeConfigChangeListener(ConfigChangeListener listener) |
Copyright © 2003-2019 The KeY-Project.