public static interface KeYGuiExtension.Toolbar
KeYGuiExtension.Toolbar
into the main window.Modifier and Type | Method and Description |
---|---|
javax.swing.JToolBar |
getToolbar(MainWindow mainWindow)
A toolbar which will be embedded into the main window.s
|
@Nonnull javax.swing.JToolBar getToolbar(MainWindow mainWindow)
mainWindow
- the parent of the toolbarCopyright © 2003-2019 The KeY-Project.