b1ca7ddf89
Also fixes the color "gold" being used for too many kinds of diagnostics, now there's a more conventional choice of diagnostics colors (redish = error, yellowish = warning, blueish = hint). |
||
---|---|---|
.. | ||
grammars | ||
queries | ||
themes | ||
tutor |