| 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.
|