org.nlogo.api
Interface EditorAreaInterface


public interface EditorAreaInterface


Method Summary
 String getLineOfText(int lineNum)
           
 int getSelectionEnd()
           
 int getSelectionStart()
           
 String getText(int start, int len)
           
 void insertString(int pos, String spaces)
           
 int lineToEndOffset(int pos)
           
 int lineToStartOffset(int pos)
           
 int offsetToLine(int pos)
           
 void remove(int start, int len)
           
 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 len)

getLineOfText

String getLineOfText(int lineNum)

insertString

void insertString(int pos,
                  String spaces)

replaceSelection

void replaceSelection(String text)

remove

void remove(int start,
            int len)