org.nlogo.workspace
Interface EditorAreaInterface
public interface EditorAreaInterface
getSelectionStart
int getSelectionStart()
getSelectionEnd
int getSelectionEnd()
setSelectionStart
void setSelectionStart(int pos)
setSelectionEnd
void setSelectionEnd(int pos)
offsetToLine
int offsetToLine(int pos)
lineToStartOffset
int lineToStartOffset(int pos)
lineToEndOffset
int lineToEndOffset(int pos)
getText
String getText(int start,
int end)
insertString
void insertString(int pos,
String spaces)
replaceSelection
void replaceSelection(String text)
remove
void remove(int start,
int end)