public final class PruneProofAction extends MainWindowAction
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
mainWindow
SHORTCUT_KEY_MASK
Constructor and Description |
---|
PruneProofAction(MainWindow mainWindow)
Creates a new PruneProofAction.
|
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
void |
init()
Registers the action at some listeners to update its status
in a correct fashion.
|
getMediator
getIcon, getMenuPath, getName, getPriority, getSmallIcon, getTooltip, isSelected, setAcceleratorKey, setAcceleratorLetter, setIcon, setLargeIcon, setLargeIcon, setMenuPath, setName, setPriority, setSelected, setSmallIcon, setTooltip
private static final long serialVersionUID
public PruneProofAction(MainWindow mainWindow)
mainWindow
- the MainWindow this action belongs to (needed for shortcut and
icon settings)