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