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

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

Enclosing class:

KeyBindingManager

public static class KeyBindingManager.KeyStrokeData
extends Object

Constructor Summary

KeyBindingManager.KeyStrokeData(KeyStroke ks, Action a, JMenuItem jmi, String name, Option<KeyStroke> kso)

Method Summary

Action	getAction()
JMenuItem	getJMenuItem()
KeyStroke	getKeyStroke()
String	getName()
Option<KeyStroke>	getOption()
Action	getShiftAction()
void	setAction(Action a)
void	setJMenuItem(JMenuItem jmi)
void	setKeyStroke(KeyStroke ks)
void	setName(String name)
void	setOption(Option<KeyStroke> kso)
void	setShiftAction(Action shiftA)

Methods inherited from class java.lang.Object

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

Constructor Detail

KeyBindingManager.KeyStrokeData

public KeyBindingManager.KeyStrokeData(KeyStroke ks,
                                       Action a,
                                       JMenuItem jmi,
                                       String name,
                                       Option<KeyStroke> kso)

Method Detail

getKeyStroke

public KeyStroke getKeyStroke()

getAction

public Action getAction()

getJMenuItem

public JMenuItem getJMenuItem()

getName

public String getName()

getOption

public Option<KeyStroke> getOption()

getShiftAction

public Action getShiftAction()

setKeyStroke

public void setKeyStroke(KeyStroke ks)

setAction

public void setAction(Action a)

setJMenuItem

public void setJMenuItem(JMenuItem jmi)

setName

public void setName(String name)

setOption

public void setOption(Option<KeyStroke> kso)

setShiftAction

public void setShiftAction(Action shiftA)