public interface KeYPaneExtension
You can add various panels to the UI by implementing this
interface and announcing it via the ServiceLoader
.
Before mounting on the UI, the init(MainWindow, KeYMediator)
is called for injecting the dependencies.
Modifier and Type | Method and Description |
---|---|
javax.swing.JComponent |
getComponent()
The content of the tab pane
|
default javax.swing.Icon |
getIcon()
A nice icon for viewing aside to the tab title.
|
java.lang.String |
getTitle()
The title of the tab pane for the user.
|
void |
init(MainWindow window,
KeYMediator mediator) |
default int |
priority() |
void init(MainWindow window, KeYMediator mediator)
window
- mediator
- java.lang.String getTitle()
default javax.swing.Icon getIcon()
javax.swing.JComponent getComponent()
default int priority()