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