From 6a03842b14b9e4ea1a29a7745acfab15875ffeeb Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Thu, 4 Nov 2021 20:17:45 +0100
Subject: 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.
---
 language-web/src/main/js/editor/EditorParent.ts | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'language-web/src/main/js/editor/EditorParent.ts')

diff --git a/language-web/src/main/js/editor/EditorParent.ts b/language-web/src/main/js/editor/EditorParent.ts
index ee1323f6..2d74b863 100644
--- a/language-web/src/main/js/editor/EditorParent.ts
+++ b/language-web/src/main/js/editor/EditorParent.ts
@@ -34,6 +34,9 @@ export const EditorParent = styled('div')(({ theme }) => {
     '&, .cm-editor': {
       height: '100%',
     },
+    '.cm-content': {
+      padding: 0,
+    },
     '.cm-scroller, .cm-tooltip-autocomplete, .cm-completionLabel, .cm-completionDetail': {
       fontSize: 16,
       fontFamily: '"JetBrains MonoVariable", "JetBrains Mono", monospace',
@@ -46,7 +49,7 @@ export const EditorParent = styled('div')(({ theme }) => {
       color: theme.palette.text.secondary,
     },
     '.cm-gutters': {
-      background: theme.palette.background.default,
+      background: 'rgba(255, 255, 255, 0.1)',
       color: theme.palette.text.disabled,
       border: 'none',
     },
@@ -57,7 +60,9 @@ export const EditorParent = styled('div')(({ theme }) => {
       background: 'rgba(0, 0, 0, 0.3)',
     },
     '.cm-activeLineGutter': {
-      background: 'rgba(0, 0, 0, 0.3)',
+      background: 'transparent',
+    },
+    '.cm-lineNumbers .cm-activeLineGutter': {
       color: theme.palette.text.primary,
     },
     '.cm-cursor, .cm-cursor-primary': {
-- 
cgit v1.2.3-70-g09d2