Martin Nordholts 7fceb4878f Load themes lazily for improved startup time (#1969) ...

This is for #951. Syntax lazy-loading will come later and have a much bigger
impact, but lazy-loading of themes does not have negligible impact.

2021-12-06 09:14:15 +01:00

40 KiB

Vendored

Raw History

View Raw