| Interface | Description |
|---|---|
| KeYExtConst |
Constants used in the KeY GUI Extensions.
|
| KeYMainMenuExtension | |
| KeYPaneExtension |
This interface describes the UI extension point
on the left bottom corner (JTabbedPane).
|
| KeYTermMenuExtension | |
| KeYToolbarExtension | |
| KeYToolbarExtensionAdapter |
| Class | Description |
|---|---|
| HeatmapExt |
Extension adapter for Heatmap
|
| KeYGuiExtensionFacade |
Facade for retrieving the GUI extensions.
|