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