Cleanup monaco

.github/workflows/update-monaco-editor.yml

@@ -1,19 +0,0 @@
-name: Update Monaco-editor
-on:
-  workflow_dispatch:
-  push:
-    branches:
-      - 'dependabot/npm_and_yarn/develop/monaco-editor-**'
-
-jobs:
-  build:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v3
-      - run: ./bin/update-monaco
-      - name: Commit changes
-        uses: EndBug/add-and-commit@v9
-        with:
-          author_name: ${{ github.actor }}
-          author_email: ${{ github.actor }}@users.noreply.github.com
-          message: 'Update Monaco-editor'

bin/update-monaco

@@ -1,12 +0,0 @@
-#!/bin/bash
-
-monacoVersion="$(jq -r '.dependencies."monaco-editor"' package.json)"
-monacoVersion="${monacoVersion:1}"
-
-if [[ $(uname) == "Darwin" ]]; 
-then
-    sed -i '' -E "s/monaco-editor\/[^/]*/monaco-editor\/$monacoVersion/g" ./src/app.html
-else
-    sed -i'' -E "s/monaco-editor\/[^/]*/monaco-editor\/$monacoVersion/g" ./src/app.html
-fi
-

src/lib/components/editor.svelte

@@ -9,7 +9,7 @@
 
 	let divEl: HTMLDivElement = null;
 	let editor: monaco.editor.IStandaloneCodeEditor;
-	let Monaco;
+	let Monaco: typeof monaco;
 
 	export let text: string;
 	export let language: string;
@@ -23,19 +23,19 @@
 		overviewRulerLanes: 0
 	};
 	let oldText = text;
-	$: editor && Monaco?.editor.setModelLanguage(editor.getModel(), language);
+	$: editor && Monaco.editor.setModelLanguage(editor.getModel(), language);
 	$: {
 		if (text !== oldText) {
-			if ($stateStore.updateEditor) {
-				editor?.setValue(text);
+			if (editor && $stateStore.updateEditor) {
+				editor.setValue(text);
 			}
 			oldText = text;
 		}
-		editor && Monaco?.editor.setModelMarkers(editor.getModel(), 'test', $stateStore.errorMarkers);
+		editor && Monaco.editor.setModelMarkers(editor.getModel(), 'test', $stateStore.errorMarkers);
 	}
 
 	themeStore.subscribe(({ isDark }) => {
-		editor && Monaco?.editor.setTheme(isDark ? 'mermaid-dark' : 'mermaid');
+		editor && Monaco.editor.setTheme(isDark ? 'mermaid-dark' : 'mermaid');
 	});
 
 	const dispatch = createEventDispatcher<EditorEvents>();