|
|||||||||
| Home >> All >> org >> gjt >> sp >> jedit >> [ gui overview ] | PREV NEXT | ||||||||
Uses of Class
org.gjt.sp.jedit.gui.KeyEventTranslator.Key
| Uses of KeyEventTranslator.Key in org.gjt.sp.jedit.gui |
| Methods in org.gjt.sp.jedit.gui that return KeyEventTranslator.Key | |
static KeyEventTranslator.Key |
KeyEventTranslator.translateKeyEvent(java.awt.event.KeyEvent evt)
Pass this an event from KeyEventWorkaround.processKeyEvent(java.awt.event.KeyEvent) 55 . |
static KeyEventTranslator.Key |
KeyEventTranslator.parseKey(java.lang.String keyStroke)
Converts a string to a keystroke. |
| Methods in org.gjt.sp.jedit.gui with parameters of type KeyEventTranslator.Key | |
static void |
KeyEventTranslator.addTranslation(KeyEventTranslator.Key key1,
KeyEventTranslator.Key key2)
Adds a keyboard translation. |
abstract boolean |
InputHandler.handleKey(KeyEventTranslator.Key keyStroke)
Handles a keystroke. |
boolean |
DefaultInputHandler.handleKey(KeyEventTranslator.Key keyStroke)
Handles the given keystroke. |
|
|||||||||
| Home >> All >> org >> gjt >> sp >> jedit >> [ gui overview ] | PREV NEXT | ||||||||