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 | Method and Description |
---|---|
void |
DecreaseFontSizeAction.configChanged(ConfigChangeEvent e) |
void |
IncreaseFontSizeAction.configChanged(ConfigChangeEvent e) |
Modifier and Type | Method and Description |
---|---|
void |
ConfigChangeListener.configChanged(ConfigChangeEvent e)
focused node has changed
|
void |
ConfigChangeAdapter.configChanged(ConfigChangeEvent e) |
Copyright © 2003-2019 The KeY-Project.