de.uka.ilkd.key.gui.ext

Interface KeYTermMenuExtension

public interface KeYTermMenuExtension

Author:

Alexander Weigl

Method Summary

Modifier and Type	Method and Description
java.util.List<javax.swing.Action>	getTermMenuActions(MainWindow mainWindow)

Method Detail

getTermMenuActions

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

Parameters:

mainWindow - non-null

Returns:

a list of actions