org.gjt.sp.jedit.input
Class TextAreaInputHandler
java.lang.Object
org.gjt.sp.jedit.input.AbstractInputHandler
org.gjt.sp.jedit.input.TextAreaInputHandler
public class TextAreaInputHandler
- extends AbstractInputHandler
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TextAreaInputHandler
public TextAreaInputHandler(TextArea textArea)
processKeyEvent
public void processKeyEvent(java.awt.event.KeyEvent evt,
int from,
boolean global)
- Forwards key events directly to the input handler.
This is slightly faster than using a KeyListener
because some Swing overhead is avoided.
- Specified by:
processKeyEvent
in class AbstractInputHandler
- Since:
- 4.3pre7
handleKey
public boolean handleKey(KeyEventTranslator.Key keyStroke,
boolean dryRun)
- Handles the given keystroke.
- Specified by:
handleKey
in class AbstractInputHandler
- Parameters:
keyStroke
- The key strokedryRun
- only calculate the return value, do not have any other effect
- Returns:
- true if the input could be handled.
- Since:
- jEdit 4.2pre5
userInput
protected void userInput(char ch)
invokeReadNextChar
protected void invokeReadNextChar(char ch)