Package | Description |
---|---|
de.uka.ilkd.key.core |
Modifier and Type | Class and Description |
---|---|
class |
DefaultKeYDesktop
The default
KeYDesktop implementation delegating all requests
to Desktop . |
Modifier and Type | Method and Description |
---|---|
static KeYDesktop |
Main.getKeyDesktop()
Returns the
KeYDesktop to use. |
Modifier and Type | Method and Description |
---|---|
static void |
Main.setKeyDesktop(KeYDesktop keyDesktop)
Sets the
KeYDesktop to use. |
Copyright © 2003-2019 The KeY-Project.