public class DeleteFormulaAction extends ExplorationAction
mainWindow
CHECKBOX, LOCAL_ACCELERATOR, PATH, PRIORITY, SHORTCUT_FOCUSED_CONDITION, SHORTCUT_KEY_MASK
Constructor and Description |
---|
DeleteFormulaAction(PosInSequent pis) |
DeleteFormulaAction(PosInSequent pis,
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 DeleteFormulaAction(PosInSequent pis)
public DeleteFormulaAction(PosInSequent pis, 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.