public interface KeYTermMenuExtension
Modifier and Type | Method and Description |
---|---|
java.util.List<javax.swing.Action> |
getTermMenuActions(MainWindow mainWindow) |
java.util.List<javax.swing.Action> getTermMenuActions(MainWindow mainWindow)
mainWindow
- non-null