From 19cd11118cde7160cd447c81bc965007c0437479 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Tue, 16 Aug 2022 21:14:50 +0200
Subject: refactor(frondend): improve editor store and theme

Also bumps frontend dependencies.
---
 .../frontend/src/editor/createEditorState.ts       | 121 +++++++++++++++++++++
 1 file changed, 121 insertions(+)
 create mode 100644 subprojects/frontend/src/editor/createEditorState.ts

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

diff --git a/subprojects/frontend/src/editor/createEditorState.ts b/subprojects/frontend/src/editor/createEditorState.ts
new file mode 100644
index 00000000..33346c05
--- /dev/null
+++ b/subprojects/frontend/src/editor/createEditorState.ts
@@ -0,0 +1,121 @@
+import {
+  closeBrackets,
+  closeBracketsKeymap,
+  autocompletion,
+  completionKeymap,
+} from '@codemirror/autocomplete';
+import {
+  defaultKeymap,
+  history,
+  historyKeymap,
+  indentWithTab,
+} from '@codemirror/commands';
+import {
+  bracketMatching,
+  codeFolding,
+  foldGutter,
+  foldKeymap,
+  indentOnInput,
+  syntaxHighlighting,
+} from '@codemirror/language';
+import { lintKeymap, lintGutter } from '@codemirror/lint';
+import { search, searchKeymap } from '@codemirror/search';
+import { EditorState } from '@codemirror/state';
+import {
+  drawSelection,
+  highlightActiveLine,
+  highlightActiveLineGutter,
+  highlightSpecialChars,
+  keymap,
+  lineNumbers,
+  rectangularSelection,
+} from '@codemirror/view';
+import { classHighlighter } from '@lezer/highlight';
+
+import problemLanguageSupport from '../language/problemLanguageSupport';
+
+import type EditorStore from './EditorStore';
+import editorClassNames from './editorClassNames';
+import findOccurrences from './findOccurrences';
+import semanticHighlighting from './semanticHighlighting';
+
+export default function createEditorState(
+  initialValue: string,
+  store: EditorStore,
+): EditorState {
+  return EditorState.create({
+    doc: initialValue,
+    extensions: [
+      autocompletion({
+        activateOnTyping: true,
+        override: [(context) => store.contentAssist(context)],
+      }),
+      closeBrackets(),
+      bracketMatching(),
+      drawSelection(),
+      EditorState.allowMultipleSelections.of(true),
+      findOccurrences,
+      highlightActiveLine(),
+      highlightActiveLineGutter(),
+      highlightSpecialChars(),
+      history(),
+      indentOnInput(),
+      rectangularSelection(),
+      search({ top: true }),
+      syntaxHighlighting(classHighlighter),
+      semanticHighlighting,
+      // We add the gutters to `extensions` in the order we want them to appear.
+      lintGutter(),
+      lineNumbers(),
+      codeFolding({
+        placeholderDOM(_view, onClick) {
+          const button = document.createElement('button');
+          button.className = editorClassNames.foldPlaceholder;
+          button.ariaLabel = 'Unfold lines';
+          button.innerText = '...';
+          button.onclick = onClick;
+          return button;
+        },
+      }),
+      foldGutter({
+        markerDOM(open) {
+          const button = document.createElement('button');
+          button.className = [
+            editorClassNames.foldMarker,
+            open
+              ? editorClassNames.foldMarkerOpen
+              : editorClassNames.foldMarkerClosed,
+          ].join(' ');
+          button.ariaPressed = open ? 'true' : 'false';
+          button.ariaLabel = 'Fold lines';
+          return button;
+        },
+      }),
+      keymap.of([
+        { key: 'Mod-Shift-f', run: () => store.formatText() },
+        ...closeBracketsKeymap,
+        ...completionKeymap,
+        ...foldKeymap,
+        ...historyKeymap,
+        indentWithTab,
+        // Override keys in `lintKeymap` to go through the `EditorStore`.
+        { key: 'Mod-Shift-m', run: () => store.lintPanel.open() },
+        ...lintKeymap,
+        // Override keys in `searchKeymap` to go through the `EditorStore`.
+        {
+          key: 'Mod-f',
+          run: () => store.searchPanel.open(),
+          scope: 'editor search-panel',
+        },
+        {
+          key: 'Escape',
+          run: () => store.searchPanel.close(),
+          scope: 'editor search-panel',
+        },
+        ...searchKeymap,
+        ...defaultKeymap,
+      ]),
+      problemLanguageSupport(),
+    ],
+  });
+}
-- 
cgit v1.2.3-54-g00ecf