public interface KeYToolbarExtensionAdapter extends KeYToolbarExtension
Modifier and Type | Method and Description |
---|---|
default javax.swing.JToolBar |
getToolbar(MainWindow mainWindow) |
default java.util.List<javax.swing.Action> |
getToolbarActions(MainWindow mainWindow) |
getPriority
default java.util.List<javax.swing.Action> getToolbarActions(MainWindow mainWindow)
mainWindow
- default javax.swing.JToolBar getToolbar(MainWindow mainWindow)
getToolbar
in interface KeYToolbarExtension