@dodona/papyros 4.1.1 → 4.1.2

package/dist/frontend/components/code_mirror/CodeEditor.js

@@ -0,0 +1,204 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, generator) {
+    function adopt(value) { return value instanceof P ? value : new P(function (resolve) { resolve(value); }); }
+    return new (P || (P = Promise))(function (resolve, reject) {
+        function fulfilled(value) { try { step(generator.next(value)); } catch (e) { reject(e); } }
+        function rejected(value) { try { step(generator["throw"](value)); } catch (e) { reject(e); } }
+        function step(result) { result.done ? resolve(result.value) : adopt(result.value).then(fulfilled, rejected); }
+        step((generator = generator.apply(thisArg, _arguments || [])).next());
+    });
+};
+import { customElement } from "lit/decorators.js";
+import { CodeMirrorEditor } from "./CodeMirrorEditor";
+import { drawSelection, EditorView, highlightActiveLine, highlightActiveLineGutter, highlightSpecialChars, keymap, lineNumbers, rectangularSelection, } from "@codemirror/view";
+import { defaultKeymap, history, historyKeymap, indentWithTab } from "@codemirror/commands";
+import { bracketMatching, foldGutter, indentOnInput, indentUnit } from "@codemirror/language";
+import { EditorState } from "@codemirror/state";
+import { acceptCompletion, autocompletion, closeBrackets, closeBracketsKeymap, completionKeymap, } from "@codemirror/autocomplete";
+import { highlightSelectionMatches, searchKeymap } from "@codemirror/search";
+import { linter, lintGutter, lintKeymap } from "@codemirror/lint";
+import { css } from "lit";
+import { javascript } from "@codemirror/lang-javascript";
+import { python } from "@codemirror/lang-python";
+import { debugLineExtension, setDebugLines, setTestLines, testCodeWidgetExtension, testLineExtension, } from "./Extensions";
+import readOnlyRangesExtension from "codemirror-readonly-ranges";
+const tabCompletionKeyMap = [{ key: "Tab", run: acceptCompletion }];
+const languageExtensions = {
+    JavaScript: javascript(),
+    Python: python(),
+};
+let CodeEditor = class CodeEditor extends CodeMirrorEditor {
+    static get styles() {
+        return css `
+            :host {
+                width: 100%;
+                height: 100%;
+            }
+
+            .papyros-test-line {
+                background-color: var(--md-sys-color-surface-variant);
+            }
+
+            .papyros-test-code-widget {
+                background-color: var(--md-sys-color-surface-variant);
+                color: var(--md-sys-color-on-surface-variant);
+                padding: 0 2px 0 6px;
+                position: relative;
+            }
+
+            .papyros-test-code-buttons {
+                position: absolute;
+                top: 0;
+                left: -50px;
+                z-index: 220;
+                width: 50px;
+                padding-left: 4px;
+            }
+
+            .papyros-icon-link {
+                font-size: 16px;
+                padding: 0 4px;
+                cursor: pointer;
+            }
+
+            .papyros-icon-link:hover {
+                color: var(--md-sys-color-primary);
+            }
+        `;
+    }
+    set debug(value) {
+        this.configure({
+            debugging: value ? debugLineExtension : [highlightActiveLineGutter(), lintGutter(), highlightActiveLine()],
+        });
+        this.readonly = value;
+    }
+    set debugLine(value) {
+        if (!this.view)
+            return;
+        const effects = [setDebugLines.of(value ? [value] : [])];
+        if (value && value >= 1 && value <= this.view.state.doc.lines) {
+            const line = this.view.state.doc.line(value);
+            effects.push(EditorView.scrollIntoView(line.from, { y: "center" }));
+        }
+        this.view.dispatch({ effects });
+    }
+    set testLines(value) {
+        var _a;
+        (_a = this.view) === null || _a === void 0 ? void 0 : _a.dispatch({
+            effects: setTestLines.of(value),
+        });
+    }
+    /**
+     * Override the value setter to temporarily disable read-only ranges
+     */
+    dispatchChange() {
+        var _a;
+        const oldReadOnlyExtensions = (_a = this.extensions.get("testReadOnlyRanges")) !== null && _a !== void 0 ? _a : [];
+        this.configure({
+            testReadOnlyRanges: [],
+        });
+        super.dispatchChange();
+        this.configure({
+            testReadOnlyRanges: oldReadOnlyExtensions,
+        });
+    }
+    set testLineCount(value) {
+        this.configure({
+            testReadOnlyRanges: value
+                ? readOnlyRangesExtension((state) => {
+                    const line = state.doc.lines - value;
+                    return [{ from: state.doc.line(line).from, to: state.doc.length }];
+                })
+                : [],
+        });
+    }
+    set testTranslations(value) {
+        this.configure({
+            test: [
+                testLineExtension,
+                testCodeWidgetExtension(value, () => {
+                    this.dispatchEvent(new CustomEvent("edit-test-code"));
+                }, () => {
+                    this.dispatchEvent(new CustomEvent("remove-test-code"));
+                }),
+            ],
+        });
+    }
+    set programmingLanguage(value) {
+        if (!(value in languageExtensions)) {
+            console.warn(`Language ${value} not supported, defaulting to javascript`);
+            this.configure({
+                language: languageExtensions.JavaScript,
+            });
+            return;
+        }
+        this.configure({
+            language: languageExtensions[value],
+        });
+    }
+    set lintingSource(lintSource) {
+        this.configure({
+            linting: linter((view) => __awaiter(this, void 0, void 0, function* () {
+                const workerDiagnostics = yield lintSource();
+                if (workerDiagnostics.some((d) => d.lineNr > view.state.doc.lines || d.endLineNr > view.state.doc.lines)) {
+                    // if the diagnostics are out of range, the document has changed since the linting was requested
+                    // these diagnostics are no longer valid
+                    return [];
+                }
+                return workerDiagnostics.map((d) => {
+                    const fromline = view.state.doc.line(d.lineNr);
+                    const toLine = view.state.doc.line(d.endLineNr);
+                    const from = Math.min(fromline.from + d.columnNr, fromline.to);
+                    const to = Math.min(toLine.from + d.endColumnNr, toLine.to);
+                    return Object.assign(Object.assign({}, d), { from: from, to: to });
+                });
+            })),
+        });
+    }
+    set indentLength(length) {
+        this.configure({
+            indentUnit: indentUnit.of(" ".repeat(length)),
+        });
+    }
+    constructor() {
+        super();
+        this.configure({
+            language: [],
+            codingExtensions: [
+                lineNumbers(),
+                highlightSpecialChars(),
+                history(),
+                foldGutter(),
+                drawSelection(),
+                EditorState.allowMultipleSelections.of(true),
+                indentOnInput(),
+                bracketMatching(),
+                closeBrackets(),
+                autocompletion(),
+                rectangularSelection(),
+                highlightSelectionMatches(),
+                keymap.of([
+                    ...closeBracketsKeymap,
+                    ...defaultKeymap,
+                    ...searchKeymap,
+                    ...historyKeymap,
+                    ...completionKeymap,
+                    ...tabCompletionKeyMap,
+                    ...lintKeymap,
+                    indentWithTab,
+                ]),
+            ],
+            debugging: [highlightActiveLineGutter(), lintGutter(), highlightActiveLine()],
+        });
+    }
+};
+CodeEditor = __decorate([
+    customElement("p-code-editor")
+], CodeEditor);
+export { CodeEditor };
+//# sourceMappingURL=CodeEditor.js.map

package/dist/frontend/components/code_mirror/CodeEditor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CodeEditor.js","sourceRoot":"","sources":["../../../../src/frontend/components/code_mirror/CodeEditor.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EACH,aAAa,EACb,UAAU,EACV,mBAAmB,EACnB,yBAAyB,EACzB,qBAAqB,EACrB,MAAM,EACN,WAAW,EACX,oBAAoB,GACvB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC5F,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,EAAmB,MAAM,sBAAsB,CAAC;AAC/G,OAAO,EAAE,WAAW,EAAe,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EACH,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,mBAAmB,EACnB,gBAAgB,GACnB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,yBAAyB,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAC7E,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAClE,OAAO,EAAE,GAAG,EAAa,MAAM,KAAK,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAGjD,OAAO,EACH,kBAAkB,EAClB,aAAa,EACb,YAAY,EACZ,uBAAuB,EACvB,iBAAiB,GACpB,MAAM,cAAc,CAAC;AACtB,OAAO,uBAAuB,MAAM,4BAA4B,CAAC;AAEjE,MAAM,mBAAmB,GAAG,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,gBAAgB,EAAE,CAAC,CAAC;AACpE,MAAM,kBAAkB,GAAiD;IACrE,UAAU,EAAE,UAAU,EAAE;IACxB,MAAM,EAAE,MAAM,EAAE;CACnB,CAAC;AAGK,IAAM,UAAU,GAAhB,MAAM,UAAW,SAAQ,gBAAgB;IAC5C,MAAM,KAAK,MAAM;QACb,OAAO,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;SAmCT,CAAC;IACN,CAAC;IAED,IAAI,KAAK,CAAC,KAAc;QACpB,IAAI,CAAC,SAAS,CAAC;YACX,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,yBAAyB,EAAE,EAAE,UAAU,EAAE,EAAE,mBAAmB,EAAE,CAAC;SAC7G,CAAC,CAAC;QACH,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC;IAC1B,CAAC;IAED,IAAI,SAAS,CAAC,KAAyB;QACnC,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,OAAO;QACvB,MAAM,OAAO,GAAuB,CAAC,aAAa,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7E,IAAI,KAAK,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;YAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC7C,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;QACxE,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;IACpC,CAAC;IAED,IAAI,SAAS,CAAC,KAA2B;;QACrC,MAAA,IAAI,CAAC,IAAI,0CAAE,QAAQ,CAAC;YAChB,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC;SAClC,CAAC,CAAC;IACP,CAAC;IAED;;OAEG;IACM,cAAc;;QACnB,MAAM,qBAAqB,GAAG,MAAA,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,oBAAoB,CAAC,mCAAI,EAAE,CAAC;QAC9E,IAAI,CAAC,SAAS,CAAC;YACX,kBAAkB,EAAE,EAAE;SACzB,CAAC,CAAC;QACH,KAAK,CAAC,cAAc,EAAE,CAAC;QACvB,IAAI,CAAC,SAAS,CAAC;YACX,kBAAkB,EAAE,qBAAqB;SAC5C,CAAC,CAAC;IACP,CAAC;IAED,IAAI,aAAa,CAAC,KAAyB;QACvC,IAAI,CAAC,SAAS,CAAC;YACX,kBAAkB,EAAE,KAAK;gBACrB,CAAC,CAAC,uBAAuB,CAAC,CAAC,KAAK,EAAE,EAAE;oBAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,KAAK,CAAC;oBACrC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;gBACvE,CAAC,CAAC;gBACJ,CAAC,CAAC,EAAE;SACX,CAAC,CAAC;IACP,CAAC;IAED,IAAI,gBAAgB,CAAC,KAA4D;QAC7E,IAAI,CAAC,SAAS,CAAC;YACX,IAAI,EAAE;gBACF,iBAAiB;gBACjB,uBAAuB,CACnB,KAAK,EACL,GAAG,EAAE;oBACD,IAAI,CAAC,aAAa,CAAC,IAAI,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC;gBAC1D,CAAC,EACD,GAAG,EAAE;oBACD,IAAI,CAAC,aAAa,CAAC,IAAI,WAAW,CAAC,kBAAkB,CAAC,CAAC,CAAC;gBAC5D,CAAC,CACJ;aACJ;SACJ,CAAC,CAAC;IACP,CAAC;IAED,IAAI,mBAAmB,CAAC,KAA0B;QAC9C,IAAI,CAAC,CAAC,KAAK,IAAI,kBAAkB,CAAC,EAAE,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC,YAAY,KAAK,0CAA0C,CAAC,CAAC;YAC1E,IAAI,CAAC,SAAS,CAAC;gBACX,QAAQ,EAAE,kBAAkB,CAAC,UAAU;aAC1C,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,IAAI,CAAC,SAAS,CAAC;YACX,QAAQ,EAAE,kBAAkB,CAAC,KAAK,CAAC;SACtC,CAAC,CAAC;IACP,CAAC;IAED,IAAI,aAAa,CAAC,UAAsD;QACpE,IAAI,CAAC,SAAS,CAAC;YACX,OAAO,EAAE,MAAM,CAAC,CAAO,IAAI,EAAE,EAAE;gBAC3B,MAAM,iBAAiB,GAAG,MAAM,UAAU,EAAE,CAAC;gBAC7C,IACI,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EACtG,CAAC;oBACC,gGAAgG;oBAChG,wCAAwC;oBACxC,OAAO,EAAE,CAAC;gBACd,CAAC;gBAED,OAAO,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;oBAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;oBAChD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;oBAC/D,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;oBAC5D,uCAAY,CAAC,KAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,IAAG;gBACxC,CAAC,CAAC,CAAC;YACP,CAAC,CAAA,CAAC;SACL,CAAC,CAAC;IACP,CAAC;IAED,IAAI,YAAY,CAAC,MAAc;QAC3B,IAAI,CAAC,SAAS,CAAC;YACX,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;SAChD,CAAC,CAAC;IACP,CAAC;IAED;QACI,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,SAAS,CAAC;YACX,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE;gBACd,WAAW,EAAE;gBACb,qBAAqB,EAAE;gBACvB,OAAO,EAAE;gBACT,UAAU,EAAE;gBACZ,aAAa,EAAE;gBACf,WAAW,CAAC,uBAAuB,CAAC,EAAE,CAAC,IAAI,CAAC;gBAC5C,aAAa,EAAE;gBACf,eAAe,EAAE;gBACjB,aAAa,EAAE;gBACf,cAAc,EAAE;gBAChB,oBAAoB,EAAE;gBACtB,yBAAyB,EAAE;gBAC3B,MAAM,CAAC,EAAE,CAAC;oBACN,GAAG,mBAAmB;oBACtB,GAAG,aAAa;oBAChB,GAAG,YAAY;oBACf,GAAG,aAAa;oBAChB,GAAG,gBAAgB;oBACnB,GAAG,mBAAmB;oBACtB,GAAG,UAAU;oBACb,aAAa;iBAChB,CAAC;aACL;YACD,SAAS,EAAE,CAAC,yBAAyB,EAAE,EAAE,UAAU,EAAE,EAAE,mBAAmB,EAAE,CAAC;SAChF,CAAC,CAAC;IACP,CAAC;CACJ,CAAA;AAnLY,UAAU;IADtB,aAAa,CAAC,eAAe,CAAC;GAClB,UAAU,CAmLtB"}

package/dist/frontend/components/code_mirror/CodeMirrorEditor.d.ts

@@ -0,0 +1,22 @@
+import { LitElement } from "lit";
+import { EditorView } from "@codemirror/view";
+import { Compartment, Extension } from "@codemirror/state";
+export declare class CodeMirrorEditor extends LitElement {
+    private __value;
+    private __readonly;
+    protected view: EditorView | undefined;
+    protected readonly compartments: Map<string, Compartment>;
+    protected readonly extensions: Map<string, Extension>;
+    set value(value: string);
+    set readonly(readonly: boolean);
+    protected dispatchChange(): void;
+    get value(): string;
+    set placeholder(value: string);
+    set theme(theme: Extension);
+    set translations(translations: Record<string, string>);
+    private initView;
+    private onViewUpdate;
+    connectedCallback(): void;
+    disconnectedCallback(): void;
+    protected configure(extensions: Record<string, Extension>): void;
+}

package/dist/frontend/components/code_mirror/CodeMirrorEditor.js

@@ -0,0 +1,111 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+import { LitElement } from "lit";
+import { customElement } from "lit/decorators.js";
+import { EditorView, placeholder } from "@codemirror/view";
+import { Compartment, EditorState, StateEffect } from "@codemirror/state";
+let CodeMirrorEditor = class CodeMirrorEditor extends LitElement {
+    constructor() {
+        super(...arguments);
+        this.__value = "";
+        this.__readonly = false;
+        this.compartments = new Map();
+        this.extensions = new Map();
+    }
+    set value(value) {
+        if (this.__value === value)
+            return;
+        this.__value = value;
+        if (!this.view)
+            return;
+        this.dispatchChange();
+    }
+    set readonly(readonly) {
+        this.configure({
+            editable: EditorView.editable.of(!readonly),
+        });
+        this.__readonly = readonly;
+    }
+    dispatchChange() {
+        if (!this.view)
+            return;
+        this.configure({ editable: EditorView.editable.of(false) });
+        this.view.dispatch({
+            changes: {
+                from: 0,
+                to: this.view.state.doc.length,
+                insert: this.__value,
+            },
+        });
+        this.configure({ editable: EditorView.editable.of(!this.__readonly) });
+    }
+    get value() {
+        return this.__value;
+    }
+    set placeholder(value) {
+        this.configure({
+            placeholder: placeholder(value),
+        });
+    }
+    set theme(theme) {
+        this.configure({ theme: theme });
+    }
+    set translations(translations) {
+        this.configure({ translations: EditorState.phrases.of(translations) });
+    }
+    initView() {
+        this.view = new EditorView({
+            parent: this.shadowRoot,
+            state: EditorState.create({
+                doc: this.__value,
+                extensions: [
+                    EditorView.updateListener.of(this.onViewUpdate.bind(this)),
+                    [...this.compartments.keys().map((k) => this.compartments.get(k).of([]))],
+                ],
+            }),
+        });
+        this.configure(Object.fromEntries(this.extensions));
+    }
+    onViewUpdate(v) {
+        if (v.docChanged) {
+            this.__value = v.state.doc.toString();
+            this.dispatchEvent(new CustomEvent("change", { detail: this.value }));
+        }
+    }
+    connectedCallback() {
+        super.connectedCallback();
+        this.initView();
+    }
+    disconnectedCallback() {
+        var _a;
+        super.disconnectedCallback();
+        (_a = this.view) === null || _a === void 0 ? void 0 : _a.destroy();
+        this.view = undefined;
+    }
+    configure(extensions) {
+        Object.entries(extensions).forEach(([key, ext]) => {
+            this.extensions.set(key, ext);
+        });
+        const effects = Object.keys(extensions).map((key) => {
+            const extension = extensions[key];
+            if (this.compartments.has(key)) {
+                return this.compartments.get(key).reconfigure(extension);
+            }
+            const compartment = new Compartment();
+            this.compartments.set(key, compartment);
+            return StateEffect.appendConfig.of(compartment.of(extension));
+        });
+        if (this.view) {
+            this.view.dispatch({ effects });
+        }
+    }
+};
+CodeMirrorEditor = __decorate([
+    customElement("p-code-mirror-editor")
+], CodeMirrorEditor);
+export { CodeMirrorEditor };
+//# sourceMappingURL=CodeMirrorEditor.js.map

package/dist/frontend/components/code_mirror/CodeMirrorEditor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CodeMirrorEditor.js","sourceRoot":"","sources":["../../../../src/frontend/components/code_mirror/CodeMirrorEditor.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,KAAK,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAc,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACvE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAa,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAG9E,IAAM,gBAAgB,GAAtB,MAAM,gBAAiB,SAAQ,UAAU;IAAzC;;QACK,YAAO,GAAW,EAAE,CAAC;QACrB,eAAU,GAAY,KAAK,CAAC;QAEjB,iBAAY,GAA6B,IAAI,GAAG,EAAE,CAAC;QACnD,eAAU,GAA2B,IAAI,GAAG,EAAE,CAAC;IAoGtE,CAAC;IAlGG,IAAW,KAAK,CAAC,KAAa;QAC1B,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK;YAAE,OAAO;QACnC,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC;QACrB,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,OAAO;QAEvB,IAAI,CAAC,cAAc,EAAE,CAAC;IAC1B,CAAC;IAED,IAAW,QAAQ,CAAC,QAAiB;QACjC,IAAI,CAAC,SAAS,CAAC;YACX,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC;SAC9C,CAAC,CAAC;QACH,IAAI,CAAC,UAAU,GAAG,QAAQ,CAAC;IAC/B,CAAC;IAES,cAAc;QACpB,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,OAAO;QACvB,IAAI,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC5D,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;YACf,OAAO,EAAE;gBACL,IAAI,EAAE,CAAC;gBACP,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM;gBAC9B,MAAM,EAAE,IAAI,CAAC,OAAO;aACvB;SACJ,CAAC,CAAC;QACH,IAAI,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC;IAED,IAAW,KAAK;QACZ,OAAO,IAAI,CAAC,OAAO,CAAC;IACxB,CAAC;IAED,IAAI,WAAW,CAAC,KAAa;QACzB,IAAI,CAAC,SAAS,CAAC;YACX,WAAW,EAAE,WAAW,CAAC,KAAK,CAAC;SAClC,CAAC,CAAC;IACP,CAAC;IAED,IAAI,KAAK,CAAC,KAAgB;QACtB,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IACrC,CAAC;IAED,IAAI,YAAY,CAAC,YAAoC;QACjD,IAAI,CAAC,SAAS,CAAC,EAAE,YAAY,EAAE,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC;IAEO,QAAQ;QACZ,IAAI,CAAC,IAAI,GAAG,IAAI,UAAU,CAAC;YACvB,MAAM,EAAE,IAAI,CAAC,UAAwB;YACrC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC;gBACtB,GAAG,EAAE,IAAI,CAAC,OAAO;gBACjB,UAAU,EAAE;oBACR,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAC1D,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;iBAC7E;aACJ,CAAC;SACL,CAAC,CAAC;QACH,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IACxD,CAAC;IAEO,YAAY,CAAC,CAAa;QAC9B,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YACf,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YACtC,IAAI,CAAC,aAAa,CAAC,IAAI,WAAW,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC1E,CAAC;IACL,CAAC;IAEe,iBAAiB;QAC7B,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC1B,IAAI,CAAC,QAAQ,EAAE,CAAC;IACpB,CAAC;IAEe,oBAAoB;;QAChC,KAAK,CAAC,oBAAoB,EAAE,CAAC;QAC7B,MAAA,IAAI,CAAC,IAAI,0CAAE,OAAO,EAAE,CAAC;QACrB,IAAI,CAAC,IAAI,GAAG,SAAS,CAAC;IAC1B,CAAC;IAES,SAAS,CAAC,UAAqC;QACrD,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE;YAC9C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,GAAgB,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;YAChD,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;YAClC,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC7B,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;YAC9D,CAAC;YAED,MAAM,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC;YACtC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;YACxC,OAAO,WAAW,CAAC,YAAY,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;QAClE,CAAC,CAAC,CAAC;QAEH,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;QACpC,CAAC;IACL,CAAC;CACJ,CAAA;AAzGY,gBAAgB;IAD5B,aAAa,CAAC,sBAAsB,CAAC;GACzB,gBAAgB,CAyG5B"}

package/dist/frontend/components/code_mirror/Extensions.d.ts

@@ -0,0 +1,15 @@
+import { Extension, StateEffectType, StateField } from "@codemirror/state";
+export type LineEffectExtensionConfig = {
+    lineClass?: string;
+    gutterClass?: string;
+    marker?: string;
+};
+export declare function lineEffectExtension(config: LineEffectExtensionConfig): [Extension, StateEffectType<number[] | undefined>, StateField<number[] | undefined>];
+export declare const usedLineExtension: Extension, setUsedLines: StateEffectType<number[] | undefined>, usedLineState: StateField<number[] | undefined>;
+export declare const debugLineExtension: Extension, setDebugLines: StateEffectType<number[] | undefined>, debugLineState: StateField<number[] | undefined>;
+export declare const testLineExtension: Extension, setTestLines: StateEffectType<number[] | undefined>, testLineState: StateField<number[] | undefined>;
+export declare function testCodeWidgetExtension(translations: {
+    description: string;
+    edit: string;
+    remove: string;
+}, handleEdit: () => void, handleRemove: () => void): Extension;

package/dist/frontend/components/code_mirror/Extensions.js

@@ -0,0 +1,164 @@
+import { Decoration, EditorView, gutter, gutterLineClass, GutterMarker, ViewPlugin, WidgetType, } from "@codemirror/view";
+import { RangeSet, StateEffect, StateField } from "@codemirror/state";
+export function lineEffectExtension(config) {
+    var _a;
+    const setLines = StateEffect.define();
+    let currentVal = undefined;
+    const stateField = StateField.define({
+        create: () => undefined,
+        update(value, tr) {
+            for (const effect of tr.effects) {
+                if (effect.is(setLines)) {
+                    currentVal = effect.value;
+                    return currentVal;
+                }
+            }
+            if (tr.docChanged && currentVal !== undefined) {
+                // only return the lines that still exist
+                return currentVal.filter((line) => line <= tr.newDoc.lines);
+            }
+            return value;
+        },
+    });
+    const lineDecoration = Decoration.line({ class: (_a = config.lineClass) !== null && _a !== void 0 ? _a : "cm-activeLine" });
+    const lineGutterMarker = new (class extends GutterMarker {
+        constructor() {
+            var _a;
+            super(...arguments);
+            this.elementClass = (_a = config.gutterClass) !== null && _a !== void 0 ? _a : "cm-activeLineGutter";
+        }
+    })();
+    const gutterHighlighter = gutterLineClass.compute([stateField], (state) => {
+        const lines = state.field(stateField);
+        if (lines === undefined || lines.length === 0)
+            return RangeSet.empty;
+        const markers = [];
+        for (const lineNum of lines) {
+            if (lineNum <= state.doc.lines) {
+                markers.push(lineGutterMarker.range(state.doc.line(lineNum).from));
+            }
+        }
+        return RangeSet.of(markers);
+    });
+    const lineDecorationPlugin = ViewPlugin.fromClass(class {
+        constructor(view) {
+            this.decorations = this.getDecorations(view.state);
+        }
+        update(update) {
+            if (update.state.field(stateField) !== update.startState.field(stateField)) {
+                this.decorations = this.getDecorations(update.state);
+            }
+        }
+        getDecorations(state) {
+            const lines = state.field(stateField);
+            if (lines === undefined || lines.length === 0)
+                return Decoration.none;
+            const decorations = [];
+            for (const lineNum of lines) {
+                if (lineNum <= state.doc.lines) {
+                    decorations.push(lineDecoration.range(state.doc.line(lineNum).from));
+                }
+            }
+            return Decoration.set(decorations);
+        }
+    }, {
+        decorations: (v) => v.decorations,
+    });
+    const extensions = [stateField, gutterHighlighter, lineDecorationPlugin];
+    if (config.marker !== undefined) {
+        class CustomMarker extends GutterMarker {
+            toDOM() {
+                const element = document.createElement("div");
+                element.textContent = config.marker;
+                return element;
+            }
+        }
+        const customMarker = new CustomMarker();
+        const customGutter = gutter({
+            class: "cm-custom-gutter",
+            markers: () => {
+                return RangeSet.empty;
+            },
+            lineMarker: (view, line) => {
+                const lines = view.state.field(stateField);
+                if (lines === undefined || lines.length === 0) {
+                    return null;
+                }
+                for (const lineNum of lines) {
+                    if (lineNum <= view.state.doc.lines && line.from === view.state.doc.line(lineNum).from) {
+                        return customMarker;
+                    }
+                }
+                return null;
+            },
+        });
+        extensions.push(customGutter);
+        extensions.push(EditorView.baseTheme({
+            ".cm-custom-gutter": {
+                width: "17px",
+                textAlign: "center",
+            },
+        }));
+    }
+    return [extensions, setLines, stateField];
+}
+export const [usedLineExtension, setUsedLines, usedLineState] = lineEffectExtension({ marker: "✔" });
+export const [debugLineExtension, setDebugLines, debugLineState] = lineEffectExtension({ marker: "▶" });
+export const [testLineExtension, setTestLines, testLineState] = lineEffectExtension({
+    lineClass: "papyros-test-line",
+    gutterClass: "",
+});
+export function testCodeWidgetExtension(translations, handleEdit, handleRemove) {
+    class TestCodeWidget extends WidgetType {
+        toDOM() {
+            const element = document.createElement("div");
+            element.classList.add("papyros-test-code-widget");
+            const span = document.createElement("span");
+            span.innerText = translations.description;
+            element.appendChild(span);
+            const buttons = document.createElement("div");
+            buttons.classList.add("papyros-test-code-buttons");
+            const editButton = document.createElement("a");
+            editButton.classList.add("papyros-icon-link");
+            editButton.innerHTML = "🖉";
+            editButton.addEventListener("click", handleEdit);
+            editButton.title = translations.edit;
+            buttons.appendChild(editButton);
+            const deleteButton = document.createElement("a");
+            deleteButton.classList.add("papyros-icon-link");
+            deleteButton.innerHTML = "⨯";
+            deleteButton.addEventListener("click", handleRemove);
+            deleteButton.title = translations.remove;
+            buttons.appendChild(deleteButton);
+            element.appendChild(buttons);
+            return element;
+        }
+        ignoreEvent() {
+            return false;
+        }
+    }
+    const testCodeDecoration = Decoration.widget({ widget: new TestCodeWidget(), side: -1, block: true });
+    function getDecorations(state) {
+        const lines = state.field(testLineState);
+        if (!lines || lines.length === 0)
+            return Decoration.none;
+        const minLine = Math.min(...lines);
+        if (minLine > state.doc.lines)
+            return Decoration.none;
+        return Decoration.set([testCodeDecoration.range(state.doc.line(minLine).from)]);
+    }
+    return StateField.define({
+        create(state) {
+            return getDecorations(state);
+        },
+        update(deco, tr) {
+            for (const effect of tr.effects) {
+                if (effect.is(setTestLines) || tr.docChanged)
+                    return getDecorations(tr.state);
+            }
+            return deco.map(tr.changes);
+        },
+        provide: (f) => EditorView.decorations.from(f),
+    });
+}
+//# sourceMappingURL=Extensions.js.map

package/dist/frontend/components/code_mirror/Extensions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Extensions.js","sourceRoot":"","sources":["../../../../src/frontend/components/code_mirror/Extensions.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,UAAU,EAEV,UAAU,EACV,MAAM,EACN,eAAe,EACf,YAAY,EACZ,UAAU,EAEV,UAAU,GACb,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAa,QAAQ,EAAE,WAAW,EAAmB,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAOlG,MAAM,UAAU,mBAAmB,CAC/B,MAAiC;;IAEjC,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,EAAwB,CAAC;IAC5D,IAAI,UAAU,GAAyB,SAAS,CAAC;IACjD,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAuB;QACvD,MAAM,EAAE,GAAG,EAAE,CAAC,SAAS;QACvB,MAAM,CAAC,KAAK,EAAE,EAAE;YACZ,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;gBAC9B,IAAI,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACtB,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC;oBAC1B,OAAO,UAAU,CAAC;gBACtB,CAAC;YACL,CAAC;YAED,IAAI,EAAE,CAAC,UAAU,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;gBAC5C,yCAAyC;gBACzC,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAChE,CAAC;YACD,OAAO,KAAK,CAAC;QACjB,CAAC;KACJ,CAAC,CAAC;IAEH,MAAM,cAAc,GAAG,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAA,MAAM,CAAC,SAAS,mCAAI,eAAe,EAAE,CAAC,CAAC;IACvF,MAAM,gBAAgB,GAAG,IAAI,CAAC,KAAM,SAAQ,YAAY;QAA1B;;;YAC1B,iBAAY,GAAG,MAAA,MAAM,CAAC,WAAW,mCAAI,qBAAqB,CAAC;QAC/D,CAAC;KAAA,CAAC,EAAE,CAAC;IAEL,MAAM,iBAAiB,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE;QACtE,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACtC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,QAAQ,CAAC,KAAK,CAAC;QACrE,MAAM,OAAO,GAAG,EAAE,CAAC;QACnB,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;YAC1B,IAAI,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;gBAC7B,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACvE,CAAC;QACL,CAAC;QACD,OAAO,QAAQ,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,MAAM,oBAAoB,GAAG,UAAU,CAAC,SAAS,CAC7C;QAGI,YAAY,IAAgB;YACxB,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvD,CAAC;QAED,MAAM,CAAC,MAAkB;YACrB,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;gBACzE,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACzD,CAAC;QACL,CAAC;QAED,cAAc,CAAC,KAA0B;YACrC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;YACtC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,UAAU,CAAC,IAAI,CAAC;YACtE,MAAM,WAAW,GAAG,EAAE,CAAC;YACvB,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;gBAC1B,IAAI,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;oBAC7B,WAAW,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBACzE,CAAC;YACL,CAAC;YACD,OAAO,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACvC,CAAC;KACJ,EACD;QACI,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW;KACpC,CACJ,CAAC;IAEF,MAAM,UAAU,GAAgB,CAAC,UAAU,EAAE,iBAAiB,EAAE,oBAAoB,CAAC,CAAC;IAEtF,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,YAAa,SAAQ,YAAY;YACnC,KAAK;gBACD,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;gBAC9C,OAAO,CAAC,WAAW,GAAG,MAAM,CAAC,MAAO,CAAC;gBACrC,OAAO,OAAO,CAAC;YACnB,CAAC;SACJ;QACD,MAAM,YAAY,GAAG,IAAI,YAAY,EAAE,CAAC;QAExC,MAAM,YAAY,GAAG,MAAM,CAAC;YACxB,KAAK,EAAE,kBAAkB;YACzB,OAAO,EAAE,GAAG,EAAE;gBACV,OAAO,QAAQ,CAAC,KAAK,CAAC;YAC1B,CAAC;YACD,UAAU,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE;gBACvB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;gBAC3C,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC5C,OAAO,IAAI,CAAC;gBAChB,CAAC;gBACD,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;oBAC1B,IAAI,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;wBACrF,OAAO,YAAY,CAAC;oBACxB,CAAC;gBACL,CAAC;gBACD,OAAO,IAAI,CAAC;YAChB,CAAC;SACJ,CAAC,CAAC;QAEH,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC9B,UAAU,CAAC,IAAI,CACX,UAAU,CAAC,SAAS,CAAC;YACjB,mBAAmB,EAAE;gBACjB,KAAK,EAAE,MAAM;gBACb,SAAS,EAAE,QAAQ;aACtB;SACJ,CAAC,CACL,CAAC;IACN,CAAC;IACD,OAAO,CAAC,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,YAAY,EAAE,aAAa,CAAC,GAAG,mBAAmB,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AACrG,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE,aAAa,EAAE,cAAc,CAAC,GAAG,mBAAmB,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AACxG,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,YAAY,EAAE,aAAa,CAAC,GAAG,mBAAmB,CAAC;IAChF,SAAS,EAAE,mBAAmB;IAC9B,WAAW,EAAE,EAAE;CAClB,CAAC,CAAC;AAEH,MAAM,UAAU,uBAAuB,CACnC,YAAmE,EACnE,UAAsB,EACtB,YAAwB;IAExB,MAAM,cAAe,SAAQ,UAAU;QAC5B,KAAK;YACR,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YAC9C,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;YAElD,MAAM,IAAI,GAAG,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,CAAC,SAAS,GAAG,YAAY,CAAC,WAAW,CAAC;YAC1C,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAE1B,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YAC9C,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,2BAA2B,CAAC,CAAC;YAEnD,MAAM,UAAU,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;YAC/C,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;YAC9C,UAAU,CAAC,SAAS,GAAG,IAAI,CAAC;YAC5B,UAAU,CAAC,gBAAgB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;YACjD,UAAU,CAAC,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC;YACrC,OAAO,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;YAEhC,MAAM,YAAY,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;YACjD,YAAY,CAAC,SAAS,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;YAChD,YAAY,CAAC,SAAS,GAAG,GAAG,CAAC;YAC7B,YAAY,CAAC,gBAAgB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;YACrD,YAAY,CAAC,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC;YACzC,OAAO,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;YAElC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;YAC7B,OAAO,OAAO,CAAC;QACnB,CAAC;QAED,WAAW;YACP,OAAO,KAAK,CAAC;QACjB,CAAC;KACJ;IAED,MAAM,kBAAkB,GAAG,UAAU,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,cAAc,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACtG,SAAS,cAAc,CAAC,KAA0B;QAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,UAAU,CAAC,IAAI,CAAC;QACzD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;QACnC,IAAI,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK;YAAE,OAAO,UAAU,CAAC,IAAI,CAAC;QACtD,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpF,CAAC;IAED,OAAO,UAAU,CAAC,MAAM,CAAgB;QACpC,MAAM,CAAC,KAAK;YACR,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC;QACjC,CAAC;QACD,MAAM,CAAC,IAAI,EAAE,EAAE;YACX,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;gBAC9B,IAAI,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,UAAU;oBAAE,OAAO,cAAc,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YAClF,CAAC;YACD,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;QAChC,CAAC;QACD,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;KACjD,CAAC,CAAC;AACP,CAAC"}

package/dist/frontend/components/code_mirror/MaterialTheme.d.ts

@@ -0,0 +1,5 @@
+import { HighlightStyle } from "@codemirror/language";
+import { Extension } from "@codemirror/state";
+export declare const materialTheme: Extension;
+export declare const materialHighlight: HighlightStyle;
+export declare const material: Extension;