diff options
author | 2021-11-04 20:17:45 +0100 | |
---|---|---|
committer | 2021-11-05 18:32:15 +0100 | |
commit | 6a03842b14b9e4ea1a29a7745acfab15875ffeeb (patch) | |
tree | a0c153143ae6db7ef1a4aa898eb8dc4e9326475c /language-web/src/main/js/editor/EditorStore.ts | |
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-web/src/main/js/editor/EditorStore.ts')
-rw-r--r-- | language-web/src/main/js/editor/EditorStore.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language-web/src/main/js/editor/EditorStore.ts b/language-web/src/main/js/editor/EditorStore.ts index ba31efcb..059233f4 100644 --- a/language-web/src/main/js/editor/EditorStore.ts +++ b/language-web/src/main/js/editor/EditorStore.ts | |||
@@ -112,8 +112,8 @@ export class EditorStore { | |||
112 | }), | 112 | }), |
113 | semanticHighlighting, | 113 | semanticHighlighting, |
114 | // We add the gutters to `extensions` in the order we want them to appear. | 114 | // We add the gutters to `extensions` in the order we want them to appear. |
115 | foldGutter(), | ||
116 | lineNumbers(), | 115 | lineNumbers(), |
116 | foldGutter(), | ||
117 | keymap.of([ | 117 | keymap.of([ |
118 | ...closeBracketsKeymap, | 118 | ...closeBracketsKeymap, |
119 | ...commentKeymap, | 119 | ...commentKeymap, |