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

..

completions

…

manual

…

patches

Add MediaWiki syntax

2021-11-22 19:46:29 +01:00

syntaxes

Better syntax highlighting for Dart (#1959)

2021-12-06 08:40:43 +01:00

themes

…

.gitattributes

…

.ignore

…

create.sh

…

syntaxes.bin

…

theme_preview.rs

…

themes.bin

Load themes lazily for improved startup time (#1969)

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