void actionPerformed(final ActionEvent e)
int getMarkPosition()
Returns the mark position.
int getLineStartOffset(final int line)
Returns the start offset of the specified line.
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.
int getFirstLine()
Returns the line displayed at the text area's origin.
void setFirstLine(final int firstLine)
Sets the line displayed at the text area's origin without updating the scroll bars.
void setCaretPosition(final int caret)
Sets the caret position.
int getVisibleLines()
Returns the number of lines visible in this text area.
jEdit's text area component.
PrevPage(final boolean select)