org.nlogo.workspace
Interface EditorAreaInterface


public interface EditorAreaInterface


Method Summary
 int getSelectionEnd()
           
 int getSelectionStart()
           
 String getText(int start, int end)
           
 void insertString(int pos, String spaces)
           
 int lineToEndOffset(int pos)
           
 int lineToStartOffset(int pos)
           
 int offsetToLine(int pos)
           
 void remove(int start, int end)
           
 void replaceSelection(String text)
           
 void setSelectionEnd(int pos)
           
 void setSelectionStart(int pos)
           
 

Method Detail

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)