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 |