Interface | Description |
---|---|
ContextMenuKind | |
KeYGuiExtension |
A marker interface for extension of the KeY GUI.
|
KeYGuiExtension.ContextMenu |
This interface describes the UI extension for adding various context menus.
|
KeYGuiExtension.KeyboardShortcuts |
Extension Point for defining keyboard shortcuts for various components.
|
KeYGuiExtension.LeftPanel |
This interface describes the UI extension point
on the left bottom corner (JTabbedPane).
|
KeYGuiExtension.MainMenu |
Main Menu extension provides entry to the extension
JMenu in the main frame. |
KeYGuiExtension.Settings |
This interface describes the UI extension to add a
SettingsProvider
into the default settings dialog. |
KeYGuiExtension.Startup |
Simplest extension point.
|
KeYGuiExtension.StatusLine |
This interface describes the UI extension to add a components
into the status line (right side) of the main window.
|
KeYGuiExtension.TermInfo |
Extension interface for the term info string in the status line.
|
KeYGuiExtension.Toolbar |
This interface describes the UI extension to add a
KeYGuiExtension.Toolbar into the main window. |
KeYGuiExtension.Tooltip |
Extension interface for the tooltips in the sequent view.
|
KeYToolbarExtensionAdapter | |
TabPanel |
Class | Description |
---|---|
ContextMenuAdapter | |
KeyboardShortcutAdapter |
Adapter for
KeYGuiExtension.KeyboardShortcuts interface. |
Enum | Description |
---|---|
DefaultContextMenuKind |
Annotation Type | Description |
---|---|
KeYGuiExtension.Info |
Copyright © 2003-2019 The KeY-Project.