public abstract class KeyAction
extends javax.swing.AbstractAction
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
CHECKBOX
Boolean property set to true if the this action should be displayed with a checkbox.
|
static java.lang.String |
LOCAL_ACCELERATOR
Key for defining local shortcuts which are prefered
used by
KeYGuiExtension.KeyboardShortcuts . |
static java.lang.String |
PATH
Additional key for
Action s. |
static java.lang.String |
PRIORITY
Additional key for
Action s. |
static java.lang.String |
SHORTCUT_FOCUSED_CONDITION
SHORTCUT_FOCUSED_CONDITION
|
protected static int |
SHORTCUT_KEY_MASK |
Constructor and Description |
---|
KeyAction() |
Modifier and Type | Method and Description |
---|---|
javax.swing.KeyStroke |
getAcceleratorKey() |
javax.swing.Icon |
getIcon(javax.swing.Icon icon) |
java.lang.String |
getMenuPath() |
int |
getMnemonic() |
java.lang.String |
getName() |
int |
getPriority() |
javax.swing.Icon |
getSmallIcon() |
protected java.lang.String |
getTooltip() |
boolean |
isSelected() |
protected void |
lookupAcceleratorKey() |
protected void |
lookupAcceleratorKey(javax.swing.KeyStroke defaultValue) |
protected void |
setAcceleratorKey(javax.swing.KeyStroke keyStroke) |
protected void |
setAcceleratorLetter(int letter) |
protected void |
setIcon(javax.swing.Icon icon) |
protected javax.swing.Icon |
setLargeIcon() |
protected void |
setLargeIcon(javax.swing.Icon icon) |
protected void |
setMenuPath(java.lang.String path) |
protected void |
setMnemonic(int c) |
protected void |
setName(java.lang.String name) |
protected void |
setPriority(int priority) |
protected void |
setSelected(java.lang.Boolean b) |
protected void |
setSmallIcon(javax.swing.Icon icon) |
protected void |
setTooltip(java.lang.String toolTip) |
addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, isEnabled, putValue, removePropertyChangeListener, setEnabled
public static final java.lang.String SHORTCUT_FOCUSED_CONDITION
public static final java.lang.String PRIORITY
Action
s. Describes the priority,
and therefor an order to arrange these actions.public static final java.lang.String PATH
Action
s. Describes a path in a menu
where an action should be injected in.
The path should be a dot-separated string, i.e. "Heatmap.Options" would inject an action into a sub-sub Menu Options below Heatmap.
public static final java.lang.String CHECKBOX
public static final java.lang.String LOCAL_ACCELERATOR
KeYGuiExtension.KeyboardShortcuts
.
In comparision with ACCELERATOR_KEY
which should be used for global shortcuts.
The stored values are KeyStroke
.
protected static final int SHORTCUT_KEY_MASK
KeyStrokeManager.SHORTCUT_KEY_MASK
public java.lang.String getName()
protected void setName(java.lang.String name)
protected void setAcceleratorLetter(int letter)
public int getMnemonic()
protected void setMnemonic(int c)
public javax.swing.KeyStroke getAcceleratorKey()
protected void setAcceleratorKey(javax.swing.KeyStroke keyStroke)
protected void lookupAcceleratorKey()
protected void lookupAcceleratorKey(javax.swing.KeyStroke defaultValue)
protected java.lang.String getTooltip()
protected void setTooltip(java.lang.String toolTip)
protected void setIcon(javax.swing.Icon icon)
protected void setLargeIcon(javax.swing.Icon icon)
public javax.swing.Icon getIcon(javax.swing.Icon icon)
public javax.swing.Icon getSmallIcon()
protected void setSmallIcon(javax.swing.Icon icon)
protected javax.swing.Icon setLargeIcon()
public boolean isSelected()
protected void setSelected(java.lang.Boolean b)
public java.lang.String getMenuPath()
protected void setMenuPath(java.lang.String path)
public int getPriority()
protected void setPriority(int priority)
Copyright © 2003-2019 The KeY-Project.