edu.rice.cs.drjava.ui
Class KeyBindingManager.KeyStrokeOptionListener
java.lang.Object
|
+--edu.rice.cs.drjava.ui.KeyBindingManager.KeyStrokeOptionListener
- All Implemented Interfaces:
- OptionListener
- Enclosing class:
- KeyBindingManager
- public class KeyBindingManager.KeyStrokeOptionListener
- extends Object
- implements OptionListener
A listener that can be attached to KeyStrokeOptions that automatically
updates the Hashtables in KeyBindingManager,the corresponding selection
Action bindings, and the menu accelerators
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait |
_jmi
protected JMenuItem _jmi
_a
protected Action _a
_ks
protected KeyStroke _ks
KeyBindingManager.KeyStrokeOptionListener
public KeyBindingManager.KeyStrokeOptionListener(JMenuItem jmi,
Action a,
KeyStroke ks)
KeyBindingManager.KeyStrokeOptionListener
public KeyBindingManager.KeyStrokeOptionListener(Action a,
KeyStroke ks)
_updateMenuItem
private void _updateMenuItem(KeyBindingManager.KeyStrokeData data)
optionChanged
public void optionChanged(OptionEvent oce)
- Specified by:
optionChanged
in interface OptionListener