jEdit's text area component.
This package contains the other part of the script editor.
InputHandler getInputHandler()
Returns the input handler.
void overwriteSetSelectedText(@NotNull final String str)
Similar to.
boolean isEditable()
Returns true if this text area is editable, false otherwise.
void actionPerformed(final ActionEvent e)