public final class AutoModeAction extends MainWindowAction
Modifier and Type | Field and Description |
---|---|
private Proof |
associatedProof |
private ProofTreeListener |
ptl |
private static long |
serialVersionUID |
private static KeyStroke |
START_KEY |
(package private) Icon |
startLogo |
private static KeyStroke |
STOP_KEY |
(package private) Icon |
stopLogo |
mainWindow, SHORTCUT_KEY_MASK
changeSupport, enabled
ACCELERATOR_KEY, ACTION_COMMAND_KEY, DEFAULT, DISPLAYED_MNEMONIC_INDEX_KEY, LARGE_ICON_KEY, LONG_DESCRIPTION, MNEMONIC_KEY, NAME, SELECTED_KEY, SHORT_DESCRIPTION, SMALL_ICON
Constructor and Description |
---|
AutoModeAction(MainWindow mainWindow) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(ActionEvent e) |
void |
enable() |
private String |
getStartCommand() |
getMediator, getName, isSelected, setAcceleratorKey, setAcceleratorLetter, setIcon, setName, setSelected, setTooltip
addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, isEnabled, putValue, removePropertyChangeListener, setEnabled
private static final KeyStroke START_KEY
private static final KeyStroke STOP_KEY
private static final long serialVersionUID
final Icon startLogo
final Icon stopLogo
private Proof associatedProof
private final ProofTreeListener ptl
public AutoModeAction(MainWindow mainWindow)
public void enable()
private String getStartCommand()
public void actionPerformed(ActionEvent e)