public class EditorKeyListenerNameField
extends java.lang.Object
implements java.awt.event.KeyListener
Constructor and Description |
---|
EditorKeyListenerNameField(ProcessTree tree,
GraphMouseListener graphMouseListener,
GraphPanel graphPanel,
javax.swing.JTextField nameField,
java.util.List<java.lang.Class<? extends ProcessTreeElement>> validElements) |
Modifier and Type | Method and Description |
---|---|
void |
keyPressed(java.awt.event.KeyEvent arg0) |
void |
keyReleased(java.awt.event.KeyEvent arg0) |
void |
keyTyped(java.awt.event.KeyEvent arg0) |
public EditorKeyListenerNameField(ProcessTree tree, GraphMouseListener graphMouseListener, GraphPanel graphPanel, javax.swing.JTextField nameField, java.util.List<java.lang.Class<? extends ProcessTreeElement>> validElements)
public void keyPressed(java.awt.event.KeyEvent arg0)
keyPressed
in interface java.awt.event.KeyListener
public void keyReleased(java.awt.event.KeyEvent arg0)
keyReleased
in interface java.awt.event.KeyListener
public void keyTyped(java.awt.event.KeyEvent arg0)
keyTyped
in interface java.awt.event.KeyListener