public class OneStepSimplificationToggleAction extends MainWindowAction
Modifier and Type | Field and Description |
---|---|
private SettingsListener |
generalSettingsListener
Listens for changes on
ProofIndependentSettings.DEFAULT_INSTANCE.getGeneralSettings() . |
static String |
NAME |
private static long |
serialVersionUID |
mainWindow, SHORTCUT_KEY_MASK
changeSupport, enabled
ACCELERATOR_KEY, ACTION_COMMAND_KEY, DEFAULT, DISPLAYED_MNEMONIC_INDEX_KEY, LARGE_ICON_KEY, LONG_DESCRIPTION, MNEMONIC_KEY, SELECTED_KEY, SHORT_DESCRIPTION, SMALL_ICON
Constructor and Description |
---|
OneStepSimplificationToggleAction(MainWindow mainWindow) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(ActionEvent e) |
protected void |
handleGeneralSettingsChanged(EventObject e) |
boolean |
isEnabled() |
protected void |
updateMainWindow() |
protected void |
updateSelectedState() |
getMediator, getName, isSelected, setAcceleratorKey, setAcceleratorLetter, setIcon, setName, setSelected, setTooltip
addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, putValue, removePropertyChangeListener, setEnabled
public static final String NAME
private static final long serialVersionUID
private final SettingsListener generalSettingsListener
ProofIndependentSettings.DEFAULT_INSTANCE.getGeneralSettings()
.
Such changes can occur in the Eclipse context when settings are changed in for instance the KeYIDE.
public OneStepSimplificationToggleAction(MainWindow mainWindow)
protected void updateSelectedState()
public void actionPerformed(ActionEvent e)
protected void updateMainWindow()
protected void handleGeneralSettingsChanged(EventObject e)
public boolean isEnabled()
isEnabled
in interface Action
isEnabled
in class AbstractAction