@dodona/papyros 3.0.2 → 4.0.0-beta.2

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

@@ -0,0 +1,206 @@
+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, 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 {
+                background-color: var(--md-sys-color-surface-variant);
+                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()
+            ]
+        });
+    }
+    set debugLine(value) {
+        var _a;
+        (_a = this.view) === null || _a === void 0 ? void 0 : _a.dispatch({
+            effects: setDebugLines.of(value ? [value] : []),
+        });
+    }
+    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 + 1;
+                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,EAAE,mBAAmB,EAClC,yBAAyB,EACzB,qBAAqB,EACrB,MAAM,EACN,WAAW,EACX,oBAAoB,EACvB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC5F,OAAO,EACH,eAAe,EACf,UAAU,EACV,aAAa,EAAE,UAAU,EAE5B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EACH,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,mBAAmB,EACnB,gBAAgB,EACnB,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,CAAA;AAGM,IAAM,UAAU,GAAhB,MAAM,UAAW,SAAQ,gBAAgB;IAC5C,MAAM,KAAK,MAAM;QACb,OAAO,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;SAoCT,CAAC;IACN,CAAC;IAED,IAAI,KAAK,CAAC,KAAc;QACpB,IAAI,CAAC,SAAS,CAAC;YACX,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC;gBACpC,yBAAyB,EAAE;gBAC3B,UAAU,EAAE;gBACZ,mBAAmB,EAAE;aACxB;SACJ,CAAC,CAAA;IACN,CAAC;IAED,IAAI,SAAS,CAAC,KAAyB;;QACnC,MAAA,IAAI,CAAC,IAAI,0CAAE,QAAQ,CAAC;YAChB,OAAO,EAAE,aAAa,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SAClD,CAAC,CAAC;IACP,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,CAAA;QACF,KAAK,CAAC,cAAc,EAAE,CAAC;QACvB,IAAI,CAAC,SAAS,CAAC;YACX,kBAAkB,EAAE,qBAAqB;SAC5C,CAAC,CAAA;IACN,CAAC;IAED,IAAI,aAAa,CAAC,KAAyB;QACvC,IAAI,CAAC,SAAS,CAAC;YACX,kBAAkB,EAAE,KAAK,CAAC,CAAC,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE;gBACxD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,KAAK,GAAG,CAAC,CAAC;gBACzC,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;YACvE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;SACV,CAAC,CAAC;IACP,CAAC;IAED,IAAI,gBAAgB,CAAC,KAA0D;QAC3E,IAAI,CAAC,SAAS,CAAC;YACX,IAAI,EAAE;gBACF,iBAAiB;gBACjB,uBAAuB,CAAC,KAAK,EAAE,GAAG,EAAE;oBAChC,IAAI,CAAC,aAAa,CAAC,IAAI,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC;gBAC1D,CAAC,EAAE,GAAG,EAAE;oBACJ,IAAI,CAAC,aAAa,CAAC,IAAI,WAAW,CAAC,kBAAkB,CAAC,CAAC,CAAC;gBAC5D,CAAC,CAAC;aACL;SACJ,CAAC,CAAA;IACN,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,CAAA;YACF,OAAO;QACX,CAAC;QAED,IAAI,CAAC,SAAS,CAAC;YACX,QAAQ,EAAE,kBAAkB,CAAC,KAAK,CAAC;SACtC,CAAC,CAAC;IACP,CAAC;IAED,IAAI,aAAa,CAAE,UAAsD;QACrE,IAAI,CAAC,SAAS,CAAC;YACX,OAAO,EAAE,MAAM,CAAC,CAAM,IAAI,EAAC,EAAE;gBACzB,MAAM,iBAAiB,GAAG,MAAM,UAAU,EAAE,CAAC;gBAC7C,IAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,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,EAAE,CAAC;oBACpG,gGAAgG;oBAChG,wCAAwC;oBACxC,OAAO,EAAE,CAAC;gBACd,CAAC;gBAED,OAAO,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;oBAC7B,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,CAAA;YACN,CAAC,CAAA,CAAC;SACL,CAAC,CAAA;IACN,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;gBACP,yBAAyB,EAAE;gBAC3B,UAAU,EAAE;gBACZ,mBAAmB,EAAE;aACxB;SACJ,CAAC,CAAC;IACP,CAAC;CACJ,CAAA;AA/KY,UAAU;IADtB,aAAa,CAAC,eAAe,CAAC;GAClB,UAAU,CA+KtB"}

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

@@ -0,0 +1,20 @@
+import { LitElement } from "lit";
+import { EditorView } from "@codemirror/view";
+import { Compartment, Extension } from "@codemirror/state";
+export declare class CodeMirrorEditor extends LitElement {
+    private __value;
+    protected view: EditorView | undefined;
+    protected readonly compartments: Map<string, Compartment>;
+    protected readonly extensions: Map<string, Extension>;
+    set value(value: string);
+    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,99 @@
+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.compartments = new Map();
+        this.extensions = new Map();
+    }
+    set value(value) {
+        if (this.__value === value)
+            return;
+        this.__value = value;
+        if (!this.view)
+            return;
+        this.dispatchChange();
+    }
+    dispatchChange() {
+        if (!this.view)
+            return;
+        this.view.dispatch({
+            changes: {
+                from: 0,
+                to: this.view.state.doc.length,
+                insert: this.__value
+            }
+        });
+    }
+    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;QAEV,iBAAY,GAA6B,IAAI,GAAG,EAAE,CAAC;QACnD,eAAU,GAA2B,IAAI,GAAG,EAAE,CAAC;IAyFtE,CAAC;IAvFG,IAAW,KAAK,CAAC,KAAa;QAC1B,IAAG,IAAI,CAAC,OAAO,KAAK,KAAK;YAAE,OAAO;QAClC,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC;QACrB,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,OAAO;QAEvB,IAAI,CAAC,cAAc,EAAE,CAAA;IACzB,CAAC;IAES,cAAc;QACpB,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,OAAO;QACvB,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;IACP,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,CAAA;IACN,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,EAAG,IAAI,CAAC,UAAyB;YACvC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,UAAU,EAAE;oBACvD,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,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;iBAC3E,EAAE,CAAC;SACP,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,CAAA;QACzE,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,GAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YAC/C,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;YAClC,IAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5B,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,WAAW,CAAC,SAAS,CAAC,CAAA;YAC7D,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,CAAA;QAGF,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;QACpC,CAAC;IACL,CAAC;CACJ,CAAA;AA7FY,gBAAgB;IAD5B,aAAa,CAAC,sBAAsB,CAAC;GACzB,gBAAgB,CA6F5B"}

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,169 @@
+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: "papyros-test-line" });
+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,EACb,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAa,QAAQ,EAAE,WAAW,EAAmB,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAOlG,MAAM,UAAU,mBAAmB,CAAC,MAAiC;;IACjE,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,EAAC,CAAC;oBACrB,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,OAAQ,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC/D,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,KAAM,SAAQ,YAAY;QAA1B;;;YACzB,iBAAY,GAAG,MAAA,MAAM,CAAC,WAAW,mCAAI,qBAAqB,CAAC;QAC/D,CAAC;KAAA,CAAC;IAEF,MAAM,iBAAiB,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,EAAE;QACpE,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,KAAI,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;YACzB,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,CAAC;QAG9C,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,KAAI,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;gBACzB,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,EAAE;QACC,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW;KAClC,CAAC,CAAC;IAEH,MAAM,UAAU,GAAgB;QAC5B,UAAU;QACV,iBAAiB;QACjB,oBAAoB;KACvB,CAAC;IAGF,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAG,CAAC;QAC/B,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;oBAAC,OAAO,IAAI,CAAC;gBAAC,CAAC;gBAC/D,KAAI,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;oBACzB,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,CAAC,UAAU,CAAC,SAAS,CAAC;YACjC,mBAAmB,EAAE;gBACjB,KAAK,EAAE,MAAM;gBACb,SAAS,EAAE,QAAQ;aACtB;SACJ,CAAC,CAAC,CAAC;IACR,CAAC;IACD,OAAO;QACH,UAAU;QACV,QAAQ;QACR,UAAU;KACb,CAAC;AACN,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,EAAE,SAAS,EAAE,mBAAmB,EAAE,WAAW,EAAE,mBAAmB,EAAE,CAAC,CAAC;AAE1J,MAAM,UAAU,uBAAuB,CAAC,YAAiE,EAAE,UAAsB,EAAE,YAAwB;IACvJ,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,CAAA;YACjF,CAAC;YACD,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;QAChC,CAAC;QACD,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;KAC/C,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;

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

@@ -0,0 +1,109 @@
+import { EditorView } from "@codemirror/view";
+import { HighlightStyle, syntaxHighlighting } from "@codemirror/language";
+import { tags } from "@lezer/highlight";
+export const materialTheme = EditorView.theme({
+    ".cm-scroller": { overflow: "auto" },
+    "&": {
+        height: "100%", // use full height of host
+        width: "100%", // use full width of host
+        "font-size": "14px", // use proper size to align gutters with editor
+        backgroundColor: "var(--md-sys-color-surface-container-highest)",
+        color: "var(--md-sys-color-on-background)",
+    },
+    ".cm-gutters": {
+        backgroundColor: "var(--md-sys-color-surface-container)",
+        color: "var(--md-sys-color-on-surface-variant)",
+        border: "none",
+        fontSize: "12px",
+    },
+    ".cm-content": {
+        color: "var(--md-sys-color-on-background)",
+    },
+    ".cm-activeLine, .cm-activeLineGutter": {
+        backgroundColor: "color-mix(in srgb, var(--md-sys-color-primary) 10%, transparent) !important",
+    },
+    "&.cm-focused": {
+        outline: "none",
+    },
+    ".cm-selectionBackground": {
+        backgroundColor: "color-mix(in srgb, var(--md-sys-color-primary) 30%, transparent) !important",
+    },
+    ".cm-cursor, .cm-dropCursor": {
+        borderLeft: "1.2px solid var(--md-sys-color-secondary) !important",
+    },
+    ".cm-tooltip": {
+        backgroundColor: "var(--md-sys-color-surface)",
+        border: "none",
+        boxShadow: "0px 2px 6px rgba(0,0,0,0.2)",
+        "& li[aria-selected]": {
+            backgroundColor: "var(--md-sys-color-secondary)",
+            color: "var(--md-sys-color-on-secondary)",
+        },
+    },
+    ".cm-panels": {
+        backgroundColor: "var(--md-sys-color-surface-container)",
+        color: "var(--md-sys-color-on-surface)",
+        border: "none",
+    },
+    ".cm-searchMatch": {
+        backgroundColor: "color-mix(in srgb, var(--md-sys-color-secondary) 30%, transparent)",
+    },
+    ".cm-searchMatch.cm-searchMatch-selected": {
+        backgroundColor: "color-mix(in srgb, var(--md-sys-color-surface-variant) 30%, transparent)",
+        outline: "1px solid var(--md-sys-color-outline)",
+    },
+    ".cm-selectionMatch": {
+        backgroundColor: "color-mix(in srgb, var(--md-sys-color-secondary) 30%, transparent)",
+    },
+    ".cm-button": {
+        background: "var(--md-sys-color-surface-variant)",
+        color: "var(--md-sys-color-on-surface-variant)",
+        border: "none",
+    },
+    ".cm-button:hover": {
+        background: "var(--md-sys-color-secondary)",
+        color: "var(--md-sys-color-on-secondary)",
+    },
+    ".cm-textfield": {
+        background: "var(--md-sys-color-surface-variant)",
+        color: "var(--md-sys-color-on-surface-variant)",
+        border: "none",
+    },
+    ".cm-textfield:focus": {
+        outline: "none",
+        border: "none",
+        boxShadow: "0 0 0 2px var(--md-sys-color-primary)",
+    },
+}, { dark: false });
+export const materialHighlight = HighlightStyle.define([
+    // Comments
+    { tag: [tags.comment, tags.lineComment, tags.blockComment, tags.docComment], color: "var(--md-sys-color-on-surface-variant)" },
+    // Keywords & operators
+    { tag: [tags.keyword, tags.self, tags.controlKeyword, tags.operatorKeyword, tags.operator], color: "var(--md-sys-color-primary)" },
+    { tag: [tags.definitionKeyword, tags.moduleKeyword], color: "var(--md-sys-color-primary)", fontStyle: "italic" },
+    // Names
+    { tag: [tags.variableName, tags.className, tags.namespace], color: "var(--md-sys-color-on-background)" },
+    { tag: tags.standard(tags.variableName), color: "var(--md-sys-color-tertiary)", fontStyle: "italic" },
+    { tag: [tags.function(tags.variableName), tags.attributeName], color: "var(--md-sys-color-tertiary)" },
+    { tag: tags.typeName, color: "var(--md-sys-color-primary)" },
+    { tag: tags.labelName, color: "var(--md-sys-color-primary)", fontStyle: "italic" },
+    // Literals
+    { tag: tags.string, color: "var(--md-sys-color-secondary)" },
+    { tag: tags.number, color: "var(--md-sys-color-secondary)" },
+    { tag: tags.regexp, color: "var(--md-sys-color-secondary)" },
+    { tag: tags.atom, color: "var(--md-sys-color-secondary)" },
+    { tag: tags.bool, color: "var(--md-sys-color-secondary)" },
+    // Emphasis / headings
+    { tag: tags.emphasis, textDecoration: "underline" },
+    { tag: tags.strong, fontWeight: "bold" },
+    { tag: tags.strikethrough, textDecoration: "line-through" },
+    { tag: tags.heading, fontWeight: "bold", color: "var(--md-sys-color-on-background)" },
+    // Errors / diffs
+    { tag: tags.invalid, color: "var(--md-sys-color-error)" },
+    { tag: tags.deleted, color: "var(--md-sys-color-error)" },
+    { tag: tags.inserted, color: "var(--md-sys-color-on-background)", fontWeight: "bold" },
+    // Punctuation
+    { tag: [tags.punctuation, tags.separator, tags.bracket], color: "var(--md-sys-color-on-background)" },
+]);
+export const material = [materialTheme, syntaxHighlighting(materialHighlight)];
+//# sourceMappingURL=MaterialTheme.js.map