de.uka.ilkd.key.gui.ext

Interface KeYToolbarExtensionAdapter

All Superinterfaces:

KeYToolbarExtension

public interface KeYToolbarExtensionAdapter
extends KeYToolbarExtension

Method Summary

Modifier and Type	Method and Description
default javax.swing.JToolBar	getToolbar(MainWindow mainWindow)
default java.util.List<javax.swing.Action>	getToolbarActions(MainWindow mainWindow)

Methods inherited from interface de.uka.ilkd.key.gui.ext.KeYToolbarExtension

getPriority

Method Detail

getToolbarActions

default java.util.List<javax.swing.Action> getToolbarActions(MainWindow mainWindow)

Parameters:

mainWindow -

Returns:

getToolbar

default javax.swing.JToolBar getToolbar(MainWindow mainWindow)

Specified by:

getToolbar in interface KeYToolbarExtension