Class EditorKeyboardHandler
- java.lang.Object
-
- org.processmining.objectcentricconstraintchecking.algorithms.swing.handler.mxKeyboardHandler
-
- org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorKeyboardHandler
-
public class EditorKeyboardHandler extends mxKeyboardHandler
- Author:
- Administrator
-
-
Constructor Summary
Constructors Constructor Description EditorKeyboardHandler(mxGraphComponent graphComponent)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected javax.swing.ActionMapcreateActionMap()Return the mapping between JTree's input map and JGraph's actions.protected javax.swing.InputMapgetInputMap(int condition)Return JTree's input map.-
Methods inherited from class org.processmining.objectcentricconstraintchecking.algorithms.swing.handler.mxKeyboardHandler
installKeyboardActions
-
-
-
-
Constructor Detail
-
EditorKeyboardHandler
public EditorKeyboardHandler(mxGraphComponent graphComponent)
- Parameters:
graphComponent-
-
-
Method Detail
-
getInputMap
protected javax.swing.InputMap getInputMap(int condition)
Return JTree's input map.- Overrides:
getInputMapin classmxKeyboardHandler
-
createActionMap
protected javax.swing.ActionMap createActionMap()
Return the mapping between JTree's input map and JGraph's actions.- Overrides:
createActionMapin classmxKeyboardHandler
-
-