Interface | Description |
---|---|
InterruptListener | |
KeYDesktop |
This is the interface to the desktop of the operating system.
|
KeYSelectionListener |
The KeYSelectionListener is notified if the proof or the node the
user works with has changed.
|
Class | Description |
---|---|
DefaultKeYDesktop |
The default
KeYDesktop implementation delegating all requests
to Desktop . |
KeYMediator |
The
KeYMediator provides control logic for the user interface implemented in Swing. |
KeYSelectionEvent |
An event that indicates that the users focused node or proof has
changed
|
KeYSelectionModel | |
Main |
The main entry point for KeY
This has been extracted from MainWindow to keep GUI and control further apart.
|
WebstartMain |
Enum | Description |
---|---|
Main.UiMode |
The user interface modes KeY can operate in.
|