jEdit's text area component.
This package contains the other part of the script editor.
void actionPerformed(final ActionEvent e)
void setSelectedText(@NotNull final String selectedText)
Replaces the selection with the specified text.
boolean isEditable()
Returns true if this text area is editable, false otherwise.