Beispiel #1
0
 private void pushNewLine() {
   endLine = new TextLine(endLine.end(), endLine.index() + 1);
   lines.add(endLine);
 }
Beispiel #2
0
 public int length() {
   return endLine.end();
 }