de.uka.ilkd.key.gui.extension.api
Interfaces
ContextMenuKind
KeYGuiExtension
KeYGuiExtension.ContextMenu
KeYGuiExtension.KeyboardShortcuts
KeYGuiExtension.LeftPanel
KeYGuiExtension.MainMenu
KeYGuiExtension.Settings
KeYGuiExtension.Startup
KeYGuiExtension.StatusLine
KeYGuiExtension.TermInfo
KeYGuiExtension.Toolbar
KeYGuiExtension.Tooltip
KeYToolbarExtensionAdapter
TabPanel
Classes
ContextMenuAdapter
KeyboardShortcutAdapter
Enums
DefaultContextMenuKind
Annotation Types
KeYGuiExtension.Info