public final class AutoModeAction extends MainWindowAction
Modifier and Type | Field and Description |
---|---|
private Proof |
associatedProof |
private ProofTreeListener |
ptl |
private static long |
serialVersionUID |
private static javax.swing.KeyStroke |
START_KEY |
(package private) javax.swing.Icon |
startLogo |
private static javax.swing.KeyStroke |
STOP_KEY |
(package private) javax.swing.Icon |
stopLogo |
mainWindow
SHORTCUT_KEY_MASK
Constructor and Description |
---|
AutoModeAction(MainWindow mainWindow) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
void |
enable() |
private java.lang.String |
getStartCommand() |
getMediator
getIcon, getMenuPath, getName, getPriority, getSmallIcon, getTooltip, isSelected, setAcceleratorKey, setAcceleratorLetter, setIcon, setLargeIcon, setLargeIcon, setMenuPath, setName, setPriority, setSelected, setSmallIcon, setTooltip
private static final javax.swing.KeyStroke START_KEY
private static final javax.swing.KeyStroke STOP_KEY
private static final long serialVersionUID
final javax.swing.Icon startLogo
final javax.swing.Icon stopLogo
private Proof associatedProof
private final ProofTreeListener ptl
public AutoModeAction(MainWindow mainWindow)