-
Sven Brauch authored
For large documents with lots of problems, switching the file has a noticeable delay, caused by computing lots of size hints. We can avoid that by using a heuristics instead.
10e175a7
For large documents with lots of problems, switching the file has a noticeable delay, caused by computing lots of size hints. We can avoid that by using a heuristics instead.