import {EditorState, Compartment} from "@codemirror/state" import {EditorView} from '@codemirror/view'; import {javascript} from "@codemirror/lang-javascript" import {htmlLanguage, html} from "@codemirror/lang-html" import {css} from "@codemirror/lang-css" import {markdown} from "@codemirror/lang-markdown" import {xml} from "@codemirror/lang-xml" import {search} from "@codemirror/search" import {oneDark} from "./theme-tf-dark.js" import {lineNumbers, highlightActiveLineGutter, highlightSpecialChars, highlightTrailingWhitespace, drawSelection, dropCursor, rectangularSelection, crosshairCursor, highlightActiveLine, keymap, highlightWhitespace} from '@codemirror/view'; import {language, foldGutter, indentUnit, indentOnInput, syntaxHighlighting, defaultHighlightStyle, bracketMatching, foldKeymap} from '@codemirror/language'; import {history, defaultKeymap, historyKeymap, indentWithTab} from '@codemirror/commands'; import {highlightSelectionMatches, searchKeymap} from '@codemirror/search'; import {autocompletion, closeBracketsKeymap, completionKeymap} from '@codemirror/autocomplete'; import {lintKeymap} from '@codemirror/lint'; let updateListenerExtension = EditorView.updateListener.of((update) => { if (update.docChanged && update.view.onDocChange) { update.view.onDocChange(); } }); /* https://codemirror.net/examples/config/ */ const languageConfig = new Compartment(); const autoLanguage = EditorState.transactionExtender.of(tr => { if (!tr.docChanged) { return null; } let doc_is_html = /\s*