Document getDocument()
Returns the document this text area is editing.
jEdit's text area component.
This package contains the other part of the script editor.
int getSelectionStart()
Returns the selection start offset.
int getSelectionEnd()
Returns the selection end offset.
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.
int getCaretPosition()
Returns the caret position.