| Package | Description |
|---|---|
| org.syntax.jedit |
JEditTextArea classes
|
| Modifier and Type | Class and Description |
|---|---|
class |
DefaultInputHandler
The default input handler.
|
| Modifier and Type | Field and Description |
|---|---|
protected InputHandler |
JEditTextArea.inputHandler |
InputHandler |
TextAreaDefaults.inputHandler |
| Modifier and Type | Method and Description |
|---|---|
InputHandler |
DefaultInputHandler.copy()
Returns a copy of this input handler that shares the same key bindings.
|
abstract InputHandler |
InputHandler.copy()
Returns a copy of this input handler that shares the same key bindings.
|
InputHandler |
JEditTextArea.getInputHandler()
Returns the input handler.
|
| Modifier and Type | Method and Description |
|---|---|
void |
JEditTextArea.setInputHandler(InputHandler inputHandler)
Sets the input handler.
|
Copyright © 2019. All rights reserved.