diff options
author | Kristóf Marussy <kristof@marussy.com> | 2021-11-04 20:17:45 +0100 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2021-11-05 18:32:15 +0100 |
commit | 6a03842b14b9e4ea1a29a7745acfab15875ffeeb (patch) | |
tree | a0c153143ae6db7ef1a4aa898eb8dc4e9326475c /language | |
parent | fix(language): hide current implicit proposal (diff) | |
download | refinery-6a03842b14b9e4ea1a29a7745acfab15875ffeeb.tar.gz refinery-6a03842b14b9e4ea1a29a7745acfab15875ffeeb.tar.zst refinery-6a03842b14b9e4ea1a29a7745acfab15875ffeeb.zip |
fix(web): fix fold gutter styling
We can't seem to be able to style the fold gutter in the current line to
set its background color, so we set the background of the whole gutter
instead.
Diffstat (limited to 'language')
0 files changed, 0 insertions, 0 deletions