public interface KeYGuiExtension
META-INF/services/KeYGuiExtension
.
This interface comes in combination with the annotation KeYGuiExtension#Info
Your extension should then implement the extension service interfaces.
Modifier and Type | Interface and Description |
---|---|
static interface |
KeYGuiExtension.ContextMenu
This interface describes the UI extension for adding various context menus.
|
static interface |
KeYGuiExtension.Info |
static interface |
KeYGuiExtension.KeyboardShortcuts
Extension Point for defining keyboard shortcuts for various components.
|
static interface |
KeYGuiExtension.LeftPanel
This interface describes the UI extension point
on the left bottom corner (JTabbedPane).
|
static interface |
KeYGuiExtension.MainMenu
Main Menu extension provides entry to the extension
JMenu in the main frame. |
static interface |
KeYGuiExtension.Settings
This interface describes the UI extension to add a
SettingsProvider
into the default settings dialog. |
static interface |
KeYGuiExtension.Startup
Simplest extension point.
|
static interface |
KeYGuiExtension.StatusLine
This interface describes the UI extension to add a components
into the status line (right side) of the main window.
|
static interface |
KeYGuiExtension.TermInfo
Extension interface for the term info string in the status line.
|
static interface |
KeYGuiExtension.Toolbar
This interface describes the UI extension to add a
KeYGuiExtension.Toolbar into the main window. |
static interface |
KeYGuiExtension.Tooltip
Extension interface for the tooltips in the sequent view.
|
Copyright © 2003-2019 The KeY-Project.