lines

The text is held as an array of lines. This makes editing the text much more efficient than using one huge String (with new-line characters). New line characters are NOT included in the list elements.

text is the same as lines.joinToString(separator="\n").

NOTE, lines should not be an empty list. A blank document is stored as an array with an empty string as its one and only element.