DocumentHome(final boolean select)
int getMarkPosition()
Returns the mark position.
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.
void actionPerformed(final ActionEvent e)
jEdit's text area component.