edu.rice.cs.drjava.ui
Class KeyBindingManager.KeyStrokeData
java.lang.Object
|
+--edu.rice.cs.drjava.ui.KeyBindingManager.KeyStrokeData
- Enclosing class:
- KeyBindingManager
- public class KeyBindingManager.KeyStrokeData
- extends Object
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait |
_ks
private KeyStroke _ks
_a
private Action _a
_jmi
private JMenuItem _jmi
_name
private String _name
_kso
private Option _kso
_shiftA
private Action _shiftA
KeyBindingManager.KeyStrokeData
public KeyBindingManager.KeyStrokeData(KeyStroke ks,
Action a,
JMenuItem jmi,
String name,
Option kso)
getKeyStroke
public KeyStroke getKeyStroke()
getAction
public Action getAction()
getJMenuItem
public JMenuItem getJMenuItem()
getName
public String getName()
getOption
public Option 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 kso)
setShiftAction
public void setShiftAction(Action shiftA)