de.uka.ilkd.key.gui.ext

Interface KeYToolbarExtension

All Known Subinterfaces:

KeYToolbarExtensionAdapter

All Known Implementing Classes:

HeatmapExt

public interface KeYToolbarExtension

Method Summary

Modifier and Type	Method and Description
default int	getPriority()
javax.swing.JToolBar	getToolbar(MainWindow mainWindow)

Method Detail

getPriority

default int getPriority()

Returns:

getToolbar

javax.swing.JToolBar getToolbar(MainWindow mainWindow)