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