edu.rice.cs.drjava.ui
Class KeyBindingManager.VectorKeyStrokeOptionListener

java.lang.Object
  edu.rice.cs.drjava.ui.KeyBindingManager.VectorKeyStrokeOptionListener

All Implemented Interfaces:

OptionListener<Vector<KeyStroke>>

Enclosing class:

KeyBindingManager

public class KeyBindingManager.VectorKeyStrokeOptionListener
extends Object
implements OptionListener<Vector<KeyStroke>>

A listener that can be attached to VectorKeyStrokeOptions 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 Set<KeyStroke>	_oldKeys

Constructor Summary

KeyBindingManager.VectorKeyStrokeOptionListener(Action a, Vector<KeyStroke> keys)

KeyBindingManager.VectorKeyStrokeOptionListener(JMenuItem jmi, Action a, Vector<KeyStroke> keys)

Method Summary

void	optionChanged(OptionEvent<Vector<KeyStroke>> oce)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

_jmi

protected JMenuItem _jmi

_a

protected Action _a

_oldKeys

protected Set<KeyStroke> _oldKeys

Constructor Detail

KeyBindingManager.VectorKeyStrokeOptionListener

public KeyBindingManager.VectorKeyStrokeOptionListener(JMenuItem jmi,
                                                       Action a,
                                                       Vector<KeyStroke> keys)

KeyBindingManager.VectorKeyStrokeOptionListener

public KeyBindingManager.VectorKeyStrokeOptionListener(Action a,
                                                       Vector<KeyStroke> keys)

Method Detail

optionChanged

public void optionChanged(OptionEvent<Vector<KeyStroke>> oce)

Specified by:

optionChanged in interface OptionListener<Vector<KeyStroke>>