public abstract class MainWindowAction extends AbstractAction
Modifier and Type | Field and Description |
---|---|
protected MainWindow |
mainWindow |
private static long |
serialVersionUID |
protected static int |
SHORTCUT_KEY_MASK
This constant holds the typical key to be used for shortcuts (usually
Event.CTRL_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
Modifier | Constructor and Description |
---|---|
protected |
MainWindowAction(MainWindow mainWindow) |
Modifier and Type | Method and Description |
---|---|
protected KeYMediator |
getMediator() |
protected String |
getName() |
protected boolean |
isSelected() |
protected void |
setAcceleratorKey(KeyStroke keyStroke)
Deprecated.
|
protected void |
setAcceleratorLetter(int letter)
Deprecated.
|
protected void |
setIcon(Icon icon) |
protected void |
setName(String name) |
protected void |
setSelected(Boolean b) |
protected void |
setTooltip(String toolTip) |
addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, isEnabled, putValue, removePropertyChangeListener, setEnabled
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
actionPerformed
private static final long serialVersionUID
protected static final int SHORTCUT_KEY_MASK
Event.CTRL_MASK
)protected final MainWindow mainWindow
protected MainWindowAction(MainWindow mainWindow)
protected KeYMediator getMediator()
protected void setName(String name)
protected String getName()
@Deprecated protected void setAcceleratorLetter(int letter)
@Deprecated protected void setAcceleratorKey(KeyStroke keyStroke)
protected void setTooltip(String toolTip)
protected void setIcon(Icon icon)
protected void setSelected(Boolean b)
protected boolean isSelected()