| java.lang.Object edu.rice.cs.drjava.ui.KeyBindingManager
KeyBindingManager | public class KeyBindingManager (Code) | | Contains Hashtables that are used in the key-binding process along with methods to build them and access their
contents. Performs the assigning of keys to actions, checking for and resolving conflicts, and setting appropriate
menu accelerators.
TODO: fix the design of our key binding scheme. We should be able to bind multiple keys to the same action!
version: $Id: KeyBindingManager.java 4255 2007-08-28 19:17:37Z mgricken $ |
Inner Class :public static class KeyStrokeData | |
addShiftAction | public void addShiftAction(Option<KeyStroke> opt, String shiftS)(Code) | | Assigns the selection action with the given name to the combination of the shift key and the given key stroke
option. Also adds new KeyStrokOptionListeners to the non-shifted Actions
Parameters: opt - the KeyStroke Option of the Action Parameters: shiftS - the name of the Selection Action |
addShiftAction | public void addShiftAction(Option<KeyStroke> opt, Action shiftA)(Code) | | Assigns the given selection action to the combination of the shift key and the given key stroke option.
Also adds new KeyStrokOptionListeners to the non-shifted Actions
Parameters: opt - the KeyStroke Option of the Action Parameters: shiftA - the Selection Action |
addShiftModifier | public KeyStroke addShiftModifier(KeyStroke k)(Code) | | Takes a KeyStroke and returns a KeyStroke that is the same that has the shift modifier
Parameters: k - a KeyStroke the same KeyStorke with the shift modifier |
get | public Action get(KeyStroke ks)(Code) | | Takes a KeyStroke and gets its Action from the keyToActionMap
Parameters: ks - KeyStroke to look up the corresponding Action or null if there is no Action associated with the KeyStroke |
setActionMap | public void setActionMap(ActionMap actionMap)(Code) | | Sets the ActionMap
Parameters: actionMap - the ActionMap to set to |
setShouldCheckConflict | public void setShouldCheckConflict(boolean bool)(Code) | | |
|
|