public abstract class MainWindowAction extends KeyAction
Modifier and Type | Field and Description |
---|---|
protected MainWindow |
mainWindow |
CHECKBOX, LOCAL_ACCELERATOR, PATH, PRIORITY, SHORTCUT_FOCUSED_CONDITION, SHORTCUT_KEY_MASK
Modifier | Constructor and Description |
---|---|
protected |
MainWindowAction(MainWindow mainWindow) |
Modifier and Type | Method and Description |
---|---|
protected KeYMediator |
getMediator() |
protected void |
setAcceleratorKey(javax.swing.KeyStroke keyStroke) |
protected void |
setAcceleratorLetter(int letter) |
getAcceleratorKey, getIcon, getMenuPath, getMnemonic, getName, getPriority, getSmallIcon, getTooltip, isSelected, lookupAcceleratorKey, lookupAcceleratorKey, setIcon, setLargeIcon, setLargeIcon, setMenuPath, setMnemonic, setName, setPriority, setSelected, setSmallIcon, setTooltip
addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, isEnabled, putValue, removePropertyChangeListener, setEnabled
protected final MainWindow mainWindow
protected MainWindowAction(MainWindow mainWindow)
protected void setAcceleratorLetter(int letter)
setAcceleratorLetter
in class KeyAction
protected void setAcceleratorKey(javax.swing.KeyStroke keyStroke)
setAcceleratorKey
in class KeyAction
protected KeYMediator getMediator()
Copyright © 2003-2019 The KeY-Project.