public final class ProofManagementAction extends MainWindowAction
Modifier and Type | Field and Description |
---|---|
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, NAME, SELECTED_KEY, SHORT_DESCRIPTION, SMALL_ICON
Constructor and Description |
---|
ProofManagementAction(MainWindow mainWindow) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(ActionEvent e) |
private boolean |
enabled() |
private void |
showProofManagement() |
getMediator, getName, isSelected, setAcceleratorKey, setAcceleratorLetter, setIcon, setName, setSelected, setTooltip
addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, isEnabled, putValue, removePropertyChangeListener, setEnabled
private static final long serialVersionUID
public ProofManagementAction(MainWindow mainWindow)
private boolean enabled()
public void actionPerformed(ActionEvent e)
private void showProofManagement()