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