From a854b1acdef27c54fe008d236282386efc44783e Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Wed, 26 Apr 2023 20:01:20 +0200
Subject: fix(web): editor cursor styling

Temporarily remove custom scrollbar and indentation styling, because they
interferred with cursor visibility.
---
 subprojects/frontend/src/editor/createEditorState.ts | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'subprojects/frontend/src/editor/createEditorState.ts')

diff --git a/subprojects/frontend/src/editor/createEditorState.ts b/subprojects/frontend/src/editor/createEditorState.ts
index 4a8e9832..67b8fb9e 100644
--- a/subprojects/frontend/src/editor/createEditorState.ts
+++ b/subprojects/frontend/src/editor/createEditorState.ts
@@ -44,8 +44,6 @@ import type EditorStore from './EditorStore';
 import SearchPanel from './SearchPanel';
 import exposeDiagnostics from './exposeDiagnostics';
 import findOccurrences from './findOccurrences';
-import indentationMarkerViewPlugin from './indentationMarkerViewPlugin';
-import scrollbarViewPlugin from './scrollbarViewPlugin';
 import semanticHighlighting from './semanticHighlighting';
 
 export default function createEditorState(
@@ -70,7 +68,6 @@ export default function createEditorState(
       highlightSpecialChars(),
       history(),
       indentOnInput(),
-      indentationMarkerViewPlugin(),
       rectangularSelection(),
       search({
         createPanel(view) {
@@ -129,7 +126,6 @@ export default function createEditorState(
         ...defaultKeymap,
       ]),
       problemLanguageSupport(),
-      scrollbarViewPlugin(store),
     ],
   });
 }
-- 
cgit v1.2.3-54-g00ecf