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