public class InteractionLogExt extends java.lang.Object implements KeYPaneExtension, KeYMainMenuExtension
Modifier and Type | Field and Description |
---|---|
private static javax.swing.Icon |
INTERACTION_LOG_ICON |
private InteractionLogView |
interactionLogView |
Constructor and Description |
---|
InteractionLogExt() |
Modifier and Type | Method and Description |
---|---|
javax.swing.JComponent |
getComponent()
The content of the tab pane
|
javax.swing.Icon |
getIcon()
A nice icon for viewing aside to the tab title.
|
java.util.List<javax.swing.Action> |
getMainMenuActions(MainWindow mainWindow) |
java.lang.String |
getTitle()
The title of the tab pane for the user.
|
void |
init(MainWindow window,
KeYMediator mediator) |
int |
priority() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getPriority
private static final javax.swing.Icon INTERACTION_LOG_ICON
private InteractionLogView interactionLogView
public void init(MainWindow window, KeYMediator mediator)
init
in interface KeYPaneExtension
public java.lang.String getTitle()
KeYPaneExtension
getTitle
in interface KeYPaneExtension
public javax.swing.Icon getIcon()
KeYPaneExtension
getIcon
in interface KeYPaneExtension
public javax.swing.JComponent getComponent()
KeYPaneExtension
getComponent
in interface KeYPaneExtension
public int priority()
priority
in interface KeYPaneExtension
public java.util.List<javax.swing.Action> getMainMenuActions(MainWindow mainWindow)
getMainMenuActions
in interface KeYMainMenuExtension