Package | Description |
---|---|
de.uka.ilkd.key.gui.colors | |
de.uka.ilkd.key.gui.extension.impl | |
de.uka.ilkd.key.gui.keyshortcuts | |
de.uka.ilkd.key.settings |
Modifier and Type | Class and Description |
---|---|
class |
ColorSettings
Configurable colors for KeY.
|
Modifier and Type | Class and Description |
---|---|
class |
ExtensionSettings |
Modifier and Type | Class and Description |
---|---|
class |
KeyStrokeSettings
A settings for storing and retrieving
KeyStroke s. |
Modifier and Type | Class and Description |
---|---|
class |
ViewSettings
This class encapsulates information about:
1) relative font size in the prover view
2) the maximal number of lines a tooltip with instantiated SchemaVariables
is allowed to have.
|
Copyright © 2003-2019 The KeY-Project.