public abstract class MainWindowAction extends KeyAction
Modifier and Type | Field and Description |
---|---|
protected MainWindow |
mainWindow |
private static long |
serialVersionUID |
SHORTCUT_KEY_MASK
Modifier | Constructor and Description |
---|---|
protected |
MainWindowAction(MainWindow mainWindow) |
Modifier and Type | Method and Description |
---|---|
protected KeYMediator |
getMediator() |
getIcon, getMenuPath, getName, getPriority, getSmallIcon, getTooltip, isSelected, setAcceleratorKey, setAcceleratorLetter, setIcon, setLargeIcon, setLargeIcon, setMenuPath, setName, setPriority, setSelected, setSmallIcon, setTooltip
addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, isEnabled, putValue, removePropertyChangeListener, setEnabled
private static final long serialVersionUID
protected final MainWindow mainWindow
protected MainWindowAction(MainWindow mainWindow)
protected KeYMediator getMediator()