public interface KeYToolbarExtension
Modifier and Type | Method and Description |
---|---|
default int |
getPriority() |
javax.swing.JToolBar |
getToolbar(MainWindow mainWindow) |
default int getPriority()
javax.swing.JToolBar getToolbar(MainWindow mainWindow)