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


Field Summary
protected  Action _a
           
protected  JMenuItem _jmi
           
protected  KeyStroke _ks
           
 
Constructor Summary
KeyBindingManager.KeyStrokeOptionListener(Action a, KeyStroke ks)
           
KeyBindingManager.KeyStrokeOptionListener(JMenuItem jmi, Action a, KeyStroke ks)
           
 
Method Summary
private  void _updateMenuItem(KeyBindingManager.KeyStrokeData data)
           
 void optionChanged(OptionEvent oce)
           
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Field Detail

_jmi

protected JMenuItem _jmi

_a

protected Action _a

_ks

protected KeyStroke _ks
Constructor Detail

KeyBindingManager.KeyStrokeOptionListener

public KeyBindingManager.KeyStrokeOptionListener(JMenuItem jmi,
                                                 Action a,
                                                 KeyStroke ks)

KeyBindingManager.KeyStrokeOptionListener

public KeyBindingManager.KeyStrokeOptionListener(Action a,
                                                 KeyStroke ks)
Method Detail

_updateMenuItem

private void _updateMenuItem(KeyBindingManager.KeyStrokeData data)

optionChanged

public void optionChanged(OptionEvent oce)
Specified by:
optionChanged in interface OptionListener