Package | Description |
---|---|
com.sun.electric.tool.user |
Package for handling the user-interface tool.
|
com.sun.electric.tool.user.menus | |
com.sun.electric.tool.user.ui |
Modifier and Type | Method and Description |
---|---|
void |
KeyBindingManager.addDefaultKeyBinding(java.lang.String actionDesc,
KeyStrokePair pair)
Adds a default KeyBinding.
|
void |
KeyBindingManager.addUserKeyBinding(java.lang.String actionDesc,
KeyStrokePair pair)
Adds a user specified KeyBindings.
|
java.util.List<KeyBindings> |
KeyBindingManager.getConflictingKeyBindings(KeyStrokePair pair)
Get a list of KeyBindings that conflict with the key combo
prefixStroke, stroke . |
static java.util.List<KeyBindings> |
KeyBindingManager.getConflictsAllManagers(KeyStrokePair pair)
Get a list of conflicting key bindings from all KeyBindingManagers.
|
void |
KeyBindingManager.removeKeyBinding(java.lang.String actionDesc,
KeyStrokePair k)
Removes a key binding from the active bindings, and writes new bindings
set to preferences.
|
Modifier and Type | Method and Description |
---|---|
void |
EMenuBar.removeKeyBinding(java.lang.String actionDesc,
KeyStrokePair pair)
Removes a key binding.
|
Modifier and Type | Method and Description |
---|---|
static KeyStrokePair |
KeyStrokePair.getKeyStrokePair(javax.swing.KeyStroke prefixStroke,
javax.swing.KeyStroke stroke)
Factory method to get a new KeyStrokePair.
|
static KeyStrokePair |
KeyStrokePair.getKeyStrokePair(java.lang.String keyString)
Get a KeyStrokePair from a String representation.
|
Modifier and Type | Method and Description |
---|---|
java.util.Iterator<KeyStrokePair> |
KeyBindings.getDefaultKeyStrokePairs()
Get an iterator over the default key stroke pairs
|
java.util.Iterator<KeyStrokePair> |
KeyBindings.getKeyStrokePairs()
Get an iterator over the user key stroke pairs
|
Modifier and Type | Method and Description |
---|---|
void |
KeyBindings.addDefaultKeyBinding(KeyStrokePair k)
Add a key stroke pair to the default bindings list
|
void |
KeyBindings.addKeyBinding(KeyStrokePair k)
Add a key stroke pair
|
void |
KeyBindings.removeKeyBinding(KeyStrokePair k)
Removes a key binding
|