jEdit's text area component.
This package contains the other part of the script editor.
void actionPerformed(final ActionEvent e)
int getMarkPosition()
Returns the mark position.
void setCaretPosition(final int caret)
Sets the caret position.
int getDocumentLength()
Returns the length of the document.
void select(final int start, final int end)
Selects from the start offset to the end offset.
DocumentEnd(final boolean select)