Splits string with newlines to list of lines
List<String> textToLines(String s) { const splitter = dart_convert.LineSplitter(); final lines = splitter.convert(s); return lines; }