diff options
| author | A-Walrus | 2022-08-06 15:46:23 +0000 |
|---|---|---|
| committer | GitHub | 2022-08-06 15:46:23 +0000 |
| commit | fdd8bbf16bdbc19d2e814c463c1c327ee941eba9 (patch) | |
| tree | ac349e3872ecbf781a0fe33587eaa3fbd812c435 /runtime/grammars | |
| parent | 4dd35777f4b15c8f8ef18102767e9984df51e07c (diff) | |
Fix indent guide styling (#3324)
* Fix incorrect indent guide styling
Before the indent guides on top of whitespace inherited the theme
from them. Now they do not.
* Fix dark_plus theme indent_guides
* Use whitespace style as fallback for indent-guide
* Fix dark_plus theme indent_guides
* Move indent_guide style patching out of loop
Diffstat (limited to 'runtime/grammars')
0 files changed, 0 insertions, 0 deletions