de.uka.ilkd.key.gui.ext

Interface KeYMainMenuExtension

All Known Implementing Classes:

HeatmapExt, InteractionLogExt

public interface KeYMainMenuExtension

Author:

Alexander Weigl

Method Summary

Modifier and Type	Method and Description
java.util.List<javax.swing.Action>	getMainMenuActions(MainWindow mainWindow)
default int	getPriority()

Method Detail

getMainMenuActions

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

Parameters:

mainWindow -

Returns:

getPriority

default int getPriority()

Returns: