public class AddFormulaToSuccedentAction extends ExplorationAction
mainWindow
CHECKBOX, LOCAL_ACCELERATOR, PATH, PRIORITY, SHORTCUT_FOCUSED_CONDITION, SHORTCUT_KEY_MASK
Constructor and Description |
---|
AddFormulaToSuccedentAction() |
AddFormulaToSuccedentAction(MainWindow mainWindow) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
getModel
getMediator, setAcceleratorKey, setAcceleratorLetter
getAcceleratorKey, getIcon, getMenuPath, getMnemonic, getName, getPriority, getSmallIcon, getTooltip, isSelected, lookupAcceleratorKey, lookupAcceleratorKey, setIcon, setLargeIcon, setLargeIcon, setMenuPath, setMnemonic, setName, setPriority, setSelected, setSmallIcon, setTooltip
public AddFormulaToSuccedentAction()
public AddFormulaToSuccedentAction(MainWindow mainWindow)
public void actionPerformed(java.awt.event.ActionEvent e)
actionPerformed
in interface java.awt.event.ActionListener
actionPerformed
in class ExplorationAction
Copyright © 2003-2019 The KeY-Project.