setEndOfText method
void
setEndOfText()
Sets the instance at the first position behind the text given as line list.
Implementation
void setEndOfText() {
if (searchEngine != null) {
line = searchEngine!.lines.length;
column = 0;
}
}