LinksLoader: Use LineSplitter

Far more efficient
This commit is contained in:
Vishesh Handa
2021-07-31 17:20:01 +02:00
parent a181cd9e20
commit b7af4604df

View File

@ -1,3 +1,4 @@
import 'dart:convert';
import 'dart:isolate';
import 'package:flutter/material.dart';
@ -77,7 +78,7 @@ List<Link> parseLinks(String body, String filePath) {
inlineSyntaxes: [WikiLinkSyntax()],
);
var lines = body.replaceAll('\r\n', '\n').split('\n');
var lines = LineSplitter.split(body).toList();
var nodes = doc.parseLines(lines);
var possibleLinks = LinkExtractor(filePath).visit(nodes);