@dodona/papyros 3.0.2 → 4.0.0-beta.1

package/dist/editor/CodeEditor.js

@@ -1,213 +0,0 @@
-import { ProgrammingLanguage } from "../ProgrammingLanguage";
-import { t } from "../util/Util";
-import { acceptCompletion, autocompletion, closeBrackets, closeBracketsKeymap, completionKeymap } from "@codemirror/autocomplete";
-import { defaultKeymap, history, historyKeymap, indentWithTab, insertBlankLine } from "@codemirror/commands";
-import { javascript } from "@codemirror/lang-javascript";
-import { python } from "@codemirror/lang-python";
-import { bracketMatching, defaultHighlightStyle, foldGutter, indentOnInput, indentUnit, syntaxHighlighting } from "@codemirror/language";
-import { highlightSelectionMatches, searchKeymap } from "@codemirror/search";
-import { EditorState } from "@codemirror/state";
-import { oneDarkHighlightStyle } from "@codemirror/theme-one-dark";
-import { drawSelection, highlightActiveLine, highlightActiveLineGutter, highlightSpecialChars, keymap, lineNumbers, rectangularSelection, showPanel } from "@codemirror/view";
-import { linter, lintGutter, lintKeymap } from "@codemirror/lint";
-import { CodeMirrorEditor } from "./CodeMirrorEditor";
-import { darkTheme } from "./DarkTheme";
-import { TestCodeExtension } from "./TestCodeExtension";
-import { DebugExtension } from "./DebugExtension";
-const tabCompletionKeyMap = [{ key: "Tab", run: acceptCompletion }];
-/**
- * Component that provides useful features to users writing code
- */
-export class CodeEditor extends CodeMirrorEditor {
-    /**
-     * Construct a new CodeEditor
-     * @param {Function} onRunRequest Callback for when the user wants to run the code
-     * @param {string} initialCode The initial code to display
-     * @param {number} indentLength The length in spaces for the indent unit
-     */
-    constructor(onRunRequest, initialCode = "", indentLength = 4) {
-        super(new Set([
-            CodeEditor.PROGRAMMING_LANGUAGE, CodeEditor.INDENTATION, CodeEditor.DEBUGGING,
-            CodeEditor.PANEL, CodeEditor.AUTOCOMPLETION, CodeEditor.LINTING
-        ]), {
-            classes: ["papyros-code-editor", "_tw-overflow-auto",
-                "_tw-border-solid", "_tw-border-gray-200", "_tw-border-2",
-                "_tw-rounded-lg", "dark:_tw-border-dark-mode-content"],
-            minHeight: "20vh",
-            maxHeight: "72vh",
-            theme: {}
-        });
-        this.debugExtension = new DebugExtension(this.editorView);
-        this.addExtension([
-            keymap.of([
-                {
-                    key: "Mod-Enter", run: () => {
-                        onRunRequest();
-                        return true;
-                    }
-                },
-                // The original Ctrl-Enter keybind gets assigned to Shift-Enter
-                {
-                    key: "Shift-Enter", run: insertBlankLine
-                }
-            ]),
-            ...CodeEditor.getExtensions()
-        ]);
-        this.setText(initialCode);
-        this.setIndentLength(indentLength);
-        this.testCodeExtension = new TestCodeExtension(this.editorView);
-        this.addExtension(this.testCodeExtension.toExtension());
-        this.debugMode = false;
-    }
-    set debugMode(value) {
-        if (value) {
-            this.reconfigure([CodeEditor.DEBUGGING, [
-                    this.debugExtension.toExtension(),
-                ]]);
-            this.debugExtension.reset();
-        }
-        else {
-            this.reconfigure([CodeEditor.DEBUGGING, [
-                    highlightActiveLineGutter(),
-                    lintGutter(),
-                    highlightActiveLine()
-                ]]);
-        }
-    }
-    set testCode(code) {
-        this.testCodeExtension.testCode = code;
-    }
-    getText() {
-        if (this.testCodeExtension) {
-            return this.testCodeExtension.getNonTestCode();
-        }
-        else {
-            return super.getText();
-        }
-    }
-    getCode() {
-        return super.getText();
-    }
-    setDarkMode(darkMode) {
-        let styleExtensions = [];
-        if (darkMode) {
-            styleExtensions = [darkTheme, syntaxHighlighting(oneDarkHighlightStyle)];
-        }
-        else {
-            styleExtensions = syntaxHighlighting(defaultHighlightStyle);
-        }
-        this.reconfigure([CodeMirrorEditor.STYLE, styleExtensions]);
-    }
-    /**
-     * @param {ProgrammingLanguage} language The language to use
-     */
-    setProgrammingLanguage(language) {
-        this.reconfigure([CodeEditor.PROGRAMMING_LANGUAGE, CodeEditor.getLanguageSupport(language)]);
-        this.setPlaceholder(t("Papyros.code_placeholder", { programmingLanguage: language }));
-    }
-    /**
-     * @param {LintSource} lintSource Function to obtain linting results
-     */
-    setLintingSource(lintSource) {
-        this.reconfigure([
-            CodeEditor.LINTING,
-            linter(lintSource)
-        ]);
-    }
-    /**
-     * @param {number} indentLength The number of spaces to use for indentation
-     */
-    setIndentLength(indentLength) {
-        this.reconfigure([CodeEditor.INDENTATION, indentUnit.of(CodeEditor.getIndentUnit(indentLength))]);
-    }
-    /**
-     * @param {HTMLElement} panel The panel to display at the bottom of the editor
-     */
-    setPanel(panel) {
-        this.reconfigure([CodeEditor.PANEL, showPanel.of(() => {
-                return { dom: panel };
-            })]);
-    }
-    /**
-     * @param {number} indentLength The amount of spaces to use
-     * @return {string} The indentation unit to be used by CodeMirror
-     */
-    static getIndentUnit(indentLength) {
-        return new Array(indentLength).fill(" ").join("");
-    }
-    /**
-     * @param  {ProgrammingLanguage} language The language to support
-     * @return {LanguageSupport} CodeMirror LanguageSupport for the language
-     */
-    static getLanguageSupport(language) {
-        switch (language) {
-            case ProgrammingLanguage.Python: {
-                return python();
-            }
-            case ProgrammingLanguage.JavaScript: {
-                return javascript();
-            }
-            default: {
-                throw new Error(`${language} is not yet supported.`);
-            }
-        }
-    }
-    /**
-    *  - line numbers
-    *  - special character highlighting
-    *  - the undo history
-    *  - a fold gutter
-    *  - custom selection drawing
-    *  - multiple selections
-    *  - reindentation on input
-    *  - bracket matching
-    *  - bracket closing
-    *  - autocompletion
-    *  - rectangular selection
-    *  - active line highlighting
-    *  - active line gutter highlighting
-    *  - selection match highlighting
-    *  - gutter for linting
-    * Keymaps:
-    *  - the default command bindings
-    *  - bracket closing
-    *  - searching
-    *  - linting
-    *  - completion
-    *  - indenting with tab
-    *  @return {Array<Extension} Default extensions to use
-    */
-    static getExtensions() {
-        return [
-            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
-            ]),
-        ];
-    }
-}
-CodeEditor.PROGRAMMING_LANGUAGE = "programming_language";
-CodeEditor.INDENTATION = "indentation";
-CodeEditor.PANEL = "panel";
-CodeEditor.AUTOCOMPLETION = "autocompletion";
-CodeEditor.LINTING = "linting";
-CodeEditor.DEBUGGING = "debugging";
-//# sourceMappingURL=CodeEditor.js.map

package/dist/editor/CodeEditor.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"CodeEditor.js","sourceRoot":"","sources":["../../src/editor/CodeEditor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,CAAC,EAAE,MAAM,cAAc,CAAC;AACjC,OAAO,EACH,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,mBAAmB,EACnB,gBAAgB,EACnB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC7G,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AACjD,OAAO,EACH,eAAe,EACf,qBAAqB,EACrB,UAAU,EACV,aAAa,EACb,UAAU,EAEV,kBAAkB,EACrB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,yBAAyB,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAC7E,OAAO,EAAE,WAAW,EAAa,MAAM,mBAAmB,CAAC;AAC3D,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EACH,aAAa,EAEb,mBAAmB,EACnB,yBAAyB,EACzB,qBAAqB,EACrB,MAAM,EACN,WAAW,EACX,oBAAoB,EACpB,SAAS,EACZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAc,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAElD,MAAM,mBAAmB,GAAG,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,gBAAgB,EAAE,CAAC,CAAC;AAGpE;;GAEG;AACH,MAAM,OAAO,UAAW,SAAQ,gBAAgB;IAW5C;;;;;OAKG;IACH,YAAY,YAAwB,EAAE,cAAsB,EAAE,EAAE,eAAuB,CAAC;QACpF,KAAK,CAAC,IAAI,GAAG,CAAC;YACV,UAAU,CAAC,oBAAoB,EAAE,UAAU,CAAC,WAAW,EAAE,UAAU,CAAC,SAAS;YAC7E,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,cAAc,EAAE,UAAU,CAAC,OAAO;SAClE,CAAC,EAAE;YACA,OAAO,EAAE,CAAC,qBAAqB,EAAE,mBAAmB;gBAChD,kBAAkB,EAAE,qBAAqB,EAAE,cAAc;gBACzD,gBAAgB,EAAE,mCAAmC,CAAC;YAC1D,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,MAAM;YACjB,KAAK,EAAE,EAAE;SACZ,CAAC,CAAC;QACH,IAAI,CAAC,cAAc,GAAG,IAAI,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC1D,IAAI,CAAC,YAAY,CAAC;YACd,MAAM,CAAC,EAAE,CAAC;gBACN;oBACI,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,GAAG,EAAE;wBACxB,YAAY,EAAE,CAAC;wBACf,OAAO,IAAI,CAAC;oBAChB,CAAC;iBACJ;gBACD,+DAA+D;gBAC/D;oBACI,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,eAAe;iBAC3C;aACJ,CAAC;YACF,GAAG,UAAU,CAAC,aAAa,EAAE;SAChC,CAAC,CAAC;QACH,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAC1B,IAAI,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC;QAEnC,IAAI,CAAC,iBAAiB,GAAG,IAAI,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAChE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,iBAAiB,CAAC,WAAW,EAAE,CAAC,CAAC;QAExD,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC;IAC3B,CAAC;IAED,IAAW,SAAS,CAAC,KAAc;QAC/B,IAAI,KAAK,EAAE,CAAC;YACR,IAAI,CAAC,WAAW,CAAC,CAAC,UAAU,CAAC,SAAS,EAAE;oBACpC,IAAI,CAAC,cAAc,CAAC,WAAW,EAAE;iBACpC,CAAC,CAAC,CAAC;YACJ,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;QAChC,CAAC;aAAM,CAAC;YACJ,IAAI,CAAC,WAAW,CAAC,CAAC,UAAU,CAAC,SAAS,EAAE;oBACpC,yBAAyB,EAAE;oBAC3B,UAAU,EAAE;oBACZ,mBAAmB,EAAE;iBACxB,CAAC,CAAC,CAAC;QACR,CAAC;IACL,CAAC;IAED,IAAW,QAAQ,CAAC,IAAY;QAC5B,IAAI,CAAC,iBAAiB,CAAC,QAAQ,GAAG,IAAI,CAAC;IAC3C,CAAC;IAEM,OAAO;QACV,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACzB,OAAO,IAAI,CAAC,iBAAiB,CAAC,cAAc,EAAE,CAAC;QACnD,CAAC;aAAM,CAAC;YACJ,OAAO,KAAK,CAAC,OAAO,EAAE,CAAC;QAC3B,CAAC;IACL,CAAC;IAEM,OAAO;QACV,OAAO,KAAK,CAAC,OAAO,EAAE,CAAC;IAC3B,CAAC;IAEe,WAAW,CAAC,QAAiB;QACzC,IAAI,eAAe,GAAc,EAAE,CAAC;QACpC,IAAI,QAAQ,EAAE,CAAC;YACX,eAAe,GAAG,CAAC,SAAS,EAAE,kBAAkB,CAAC,qBAAqB,CAAC,CAAC,CAAC;QAC7E,CAAC;aAAM,CAAC;YACJ,eAAe,GAAG,kBAAkB,CAAC,qBAAqB,CAAC,CAAC;QAChE,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC;IAChE,CAAC;IAED;;OAEG;IACI,sBAAsB,CAAC,QAA6B;QAEvD,IAAI,CAAC,WAAW,CACZ,CAAC,UAAU,CAAC,oBAAoB,EAAE,UAAU,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAC7E,CAAC;QACF,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,0BAA0B,EAC5C,EAAE,mBAAmB,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;IAC5C,CAAC;IAED;;OAEG;IACI,gBAAgB,CACnB,UAAwF;QAExF,IAAI,CAAC,WAAW,CACZ;YACI,UAAU,CAAC,OAAO;YAClB,MAAM,CAAC,UAAU,CAAC;SACrB,CACJ,CAAC;IACN,CAAC;IAED;;OAEG;IACI,eAAe,CAAC,YAAoB;QACvC,IAAI,CAAC,WAAW,CACZ,CAAC,UAAU,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC,CAAC,CAClF,CAAC;IACN,CAAC;IAED;;OAEG;IACI,QAAQ,CAAC,KAAkB;QAC9B,IAAI,CAAC,WAAW,CACZ,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,GAAG,EAAE;gBACjC,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;YAC1B,CAAC,CAAC,CAAC,CACN,CAAC;IACN,CAAC;IAED;;;OAGG;IACK,MAAM,CAAC,aAAa,CAAC,YAAoB;QAC7C,OAAO,IAAI,KAAK,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtD,CAAC;IAED;;;OAGG;IACK,MAAM,CAAC,kBAAkB,CAAC,QAA6B;QAC3D,QAAQ,QAAQ,EAAE,CAAC;YACf,KAAK,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC;gBAC9B,OAAO,MAAM,EAAE,CAAC;YACpB,CAAC;YACD,KAAK,mBAAmB,CAAC,UAAU,CAAC,CAAC,CAAC;gBAClC,OAAO,UAAU,EAAE,CAAC;YACxB,CAAC;YACD,OAAO,CAAC,CAAC,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,GAAG,QAAQ,wBAAwB,CAAC,CAAC;YACzD,CAAC;QACL,CAAC;IACL,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;;;MAwBE;IACM,MAAM,CAAC,aAAa;QACxB,OAAO;YACH,WAAW,EAAE;YACb,qBAAqB,EAAE;YACvB,OAAO,EAAE;YACT,UAAU,EAAE;YACZ,aAAa,EAAE;YACf,WAAW,CAAC,uBAAuB,CAAC,EAAE,CAAC,IAAI,CAAC;YAC5C,aAAa,EAAE;YACf,eAAe,EAAE;YACjB,aAAa,EAAE;YACf,cAAc,EAAE;YAChB,oBAAoB,EAAE;YACtB,yBAAyB,EAAE;YAC3B,MAAM,CAAC,EAAE,CAAC;gBACN,GAAG,mBAAmB;gBACtB,GAAG,aAAa;gBAChB,GAAG,YAAY;gBACf,GAAG,aAAa;gBAChB,GAAG,gBAAgB;gBACnB,GAAG,mBAAmB;gBACtB,GAAG,UAAU;gBACb,aAAa;aAChB,CAAC;SACL,CAAC;IACN,CAAC;;AAxNa,+BAAoB,GAAG,sBAAsB,CAAC;AAC9C,sBAAW,GAAG,aAAa,CAAC;AAC5B,gBAAK,GAAG,OAAO,CAAC;AAChB,yBAAc,GAAG,gBAAgB,CAAC;AAClC,kBAAO,GAAG,SAAS,CAAC;AACpB,oBAAS,GAAG,WAAW,CAAC"}

package/dist/editor/CodeMirrorEditor.d.ts

@@ -1,133 +0,0 @@
-import { Compartment, Extension } from "@codemirror/state";
-import { EditorView, ViewUpdate } from "@codemirror/view";
-import { Renderable, RenderOptions } from "../util/Rendering";
-import { StyleSpec } from "style-mod";
-/**
- * Data structure containing common elements for styling
- */
-export interface EditorStyling {
-    /**
-     * Array of HTML classes to apply to this editor
-     */
-    classes: Array<string>;
-    /**
-     * The maximum height of the editor
-     */
-    maxHeight: string;
-    /**
-     * The minimum height of the editor
-     */
-    minHeight: string;
-    /**
-     * Extra theme options to be passed to EditorView.theme
-     */
-    theme?: {
-        [selectorSpec: string]: StyleSpec;
-    };
-}
-/**
- * Interface for listeners to textual changes in the editor
- */
-export interface DocChangeListener {
-    /**
-     * Method to call with the new document value
-     */
-    onChange: (code: string) => void;
-    /**
-     * How many milliseconds should pass since the last change
-     * before notifying (in case computations are expensive)
-     */
-    delay?: number;
-}
-/**
- * Interface for storing data related to delayed function calls
- */
-interface TimeoutData {
-    /**
-     * The time in ms at which the last call occurred
-     */
-    lastCalled: number;
-    /**
-     * The timeout identifier associated with the delayed call
-     * null if not currently scheduled
-     */
-    timeout: NodeJS.Timeout | null;
-}
-/**
- * Base class for Editors implemented using CodeMirror 6
- * https://codemirror.net/6/
- */
-export declare abstract class CodeMirrorEditor extends Renderable {
-    static STYLE: string;
-    static PLACEHOLDER: string;
-    static THEME: string;
-    static LANGUAGE: string;
-    /**
-     * CodeMirror EditorView representing the internal editor
-     */
-    readonly editorView: EditorView;
-    /**
-     * Mapping of strings to Compartments associated with that property
-     */
-    protected compartments: Map<string, Compartment>;
-    /**
-     * Data to style this Editor
-     */
-    protected styling: EditorStyling;
-    /**
-     * Mapping for each change listener to its timeout identifier and last call time
-     */
-    protected listenerTimeouts: Map<DocChangeListener, TimeoutData>;
-    /**
-     * @param {Set<string>} compartments Identifiers for configurable extensions
-     * @param {EditorStyling} styling Data to style this editor
-     */
-    constructor(compartments: Set<string>, styling: EditorStyling);
-    protected onViewUpdate(v: ViewUpdate): void;
-    /**
-     * @param {Extension} extension The extension to add to the Editor
-     */
-    protected addExtension(extension: Extension): void;
-    /**
-     * @return {string} The text within the editor
-     */
-    getText(): string;
-    /**
-     * @param {string} text The new value to be shown in the editor
-     */
-    setText(text: string): void;
-    /**
-     * Helper method to dispatch configuration changes at runtime
-     * @param {Array<[Option, Extension]>} items Array of items to reconfigure
-     * The option indicates the relevant compartment
-     * The extension indicates the new configuration
-     */
-    reconfigure(...items: Array<[string, Extension]>): void;
-    /**
-     * Apply focus to the Editor
-     */
-    focus(): void;
-    /**
-     * @param {string} placeholderValue The contents of the placeholder
-     */
-    setPlaceholder(placeholderValue: string): void;
-    /**
-     * @param {boolean} darkMode Whether to use dark mode
-     */
-    setDarkMode(darkMode: boolean): void;
-    /**
-     * Override the style used by this Editor
-     * @param {Partial<EditorStyling>} styling Object with keys of EditorStyling to override styles
-     */
-    setStyling(styling: Partial<EditorStyling>): void;
-    protected _render(options: RenderOptions): void;
-    /**
-     * Process the changes by informing the listeners of the new contents
-     */
-    private handleChange;
-    /**
-     * @param {DocChangeListener} changeListener Listener that performs actions on the new contents
-     */
-    onChange(changeListener: DocChangeListener): void;
-}
-export {};

package/dist/editor/CodeMirrorEditor.js

@@ -1,169 +0,0 @@
-import { Compartment, EditorState, StateEffect } from "@codemirror/state";
-import { EditorView, placeholder } from "@codemirror/view";
-import { Renderable, renderWithOptions } from "../util/Rendering";
-import { darkTheme } from "./DarkTheme";
-import { CODE_MIRROR_TRANSLATIONS } from "../Translations";
-import { cursorDocEnd } from "@codemirror/commands";
-import { i18n } from "../util/Util";
-/**
- * Base class for Editors implemented using CodeMirror 6
- * https://codemirror.net/6/
- */
-export class CodeMirrorEditor extends Renderable {
-    /**
-     * @param {Set<string>} compartments Identifiers for configurable extensions
-     * @param {EditorStyling} styling Data to style this editor
-     */
-    constructor(compartments, styling) {
-        super();
-        this.styling = styling;
-        this.listenerTimeouts = new Map();
-        // Ensure default compartments are present
-        compartments.add(CodeMirrorEditor.STYLE);
-        compartments.add(CodeMirrorEditor.PLACEHOLDER);
-        compartments.add(CodeMirrorEditor.THEME);
-        compartments.add(CodeMirrorEditor.LANGUAGE);
-        this.compartments = new Map();
-        const configurableExtensions = [];
-        compartments.forEach(opt => {
-            const compartment = new Compartment();
-            this.compartments.set(opt, compartment);
-            configurableExtensions.push(compartment.of([]));
-        });
-        this.editorView = new EditorView({
-            state: EditorState.create({
-                extensions: [
-                    configurableExtensions,
-                    EditorView.updateListener.of(this.onViewUpdate.bind(this))
-                ]
-            })
-        });
-    }
-    onViewUpdate(v) {
-        if (v.docChanged) {
-            this.handleChange();
-        }
-    }
-    /**
-     * @param {Extension} extension The extension to add to the Editor
-     */
-    addExtension(extension) {
-        this.editorView.dispatch({
-            effects: StateEffect.appendConfig.of(extension)
-        });
-    }
-    /**
-     * @return {string} The text within the editor
-     */
-    getText() {
-        return this.editorView.state.doc.toString();
-    }
-    /**
-     * @param {string} text The new value to be shown in the editor
-     */
-    setText(text) {
-        this.editorView.dispatch({ changes: { from: 0, to: this.getText().length, insert: text } });
-    }
-    /**
-     * Helper method to dispatch configuration changes at runtime
-     * @param {Array<[Option, Extension]>} items Array of items to reconfigure
-     * The option indicates the relevant compartment
-     * The extension indicates the new configuration
-     */
-    reconfigure(...items) {
-        this.editorView.dispatch({
-            effects: items.map(([opt, ext]) => this.compartments.get(opt).reconfigure(ext))
-        });
-    }
-    /**
-     * Apply focus to the Editor
-     */
-    focus() {
-        this.editorView.focus();
-        cursorDocEnd(this.editorView);
-    }
-    /**
-     * @param {string} placeholderValue The contents of the placeholder
-     */
-    setPlaceholder(placeholderValue) {
-        this.reconfigure([
-            CodeMirrorEditor.PLACEHOLDER,
-            placeholder(placeholderValue)
-        ]);
-    }
-    /**
-     * @param {boolean} darkMode Whether to use dark mode
-     */
-    setDarkMode(darkMode) {
-        let styleExtensions = [];
-        if (darkMode) {
-            styleExtensions = [darkTheme];
-        }
-        this.reconfigure([CodeMirrorEditor.STYLE, styleExtensions]);
-    }
-    /**
-     * Override the style used by this Editor
-     * @param {Partial<EditorStyling>} styling Object with keys of EditorStyling to override styles
-     */
-    setStyling(styling) {
-        Object.assign(this.styling, styling);
-        this.reconfigure([
-            CodeMirrorEditor.THEME,
-            EditorView.theme(Object.assign({ ".cm-scroller": { overflow: "auto" }, "&": {
-                    "maxHeight": this.styling.maxHeight, "height": "100%",
-                    "font-size": "14px" // use proper size to align gutters with editor
-                }, ".cm-gutter,.cm-content": { minHeight: this.styling.minHeight }, ".cm-button": {
-                    "background-color": "#455A64",
-                    "color": "white", "background-image": "none"
-                } }, (this.styling.theme || {})))
-        ]);
-    }
-    _render(options) {
-        this.setStyling(this.styling);
-        this.setDarkMode(options.darkMode || false);
-        const language = i18n.locale;
-        this.reconfigure([
-            CodeMirrorEditor.LANGUAGE,
-            EditorState.phrases.of(CODE_MIRROR_TRANSLATIONS[language])
-        ]);
-        const wrappingDiv = document.createElement("div");
-        wrappingDiv.classList.add(...this.styling.classes);
-        wrappingDiv.replaceChildren(this.editorView.dom);
-        renderWithOptions(options, wrappingDiv);
-    }
-    /**
-     * Process the changes by informing the listeners of the new contents
-     */
-    handleChange() {
-        const currentDoc = this.getText();
-        const now = Date.now();
-        this.listenerTimeouts.forEach((timeoutData, listener) => {
-            // Clear existing scheduled calls
-            if (timeoutData.timeout !== null) {
-                clearTimeout(timeoutData.timeout);
-            }
-            timeoutData.lastCalled = now;
-            if (listener.delay && listener.delay > 0) {
-                timeoutData.timeout = setTimeout(() => {
-                    timeoutData.timeout = null;
-                    listener.onChange(currentDoc);
-                }, listener.delay);
-            }
-            else {
-                listener.onChange(currentDoc);
-            }
-            timeoutData.lastCalled = now;
-        });
-    }
-    /**
-     * @param {DocChangeListener} changeListener Listener that performs actions on the new contents
-     */
-    onChange(changeListener) {
-        this.listenerTimeouts.set(changeListener, { timeout: null, lastCalled: 0 });
-    }
-}
-CodeMirrorEditor.STYLE = "style";
-CodeMirrorEditor.PLACEHOLDER = "placeholder";
-CodeMirrorEditor.THEME = "theme";
-CodeMirrorEditor.LANGUAGE = "language";
-//# sourceMappingURL=CodeMirrorEditor.js.map

package/dist/editor/CodeMirrorEditor.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"CodeMirrorEditor.js","sourceRoot":"","sources":["../../src/editor/CodeMirrorEditor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,WAAW,EAAa,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrF,OAAO,EAAE,UAAU,EAAE,WAAW,EAAc,MAAM,kBAAkB,CAAC;AACvE,OAAO,EAAE,UAAU,EAAiB,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAEjF,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,wBAAwB,EAAE,MAAM,iBAAiB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAyDpC;;;GAGG;AACH,MAAM,OAAgB,gBAAiB,SAAQ,UAAU;IAsBrD;;;OAGG;IACH,YAAY,YAAyB,EAAE,OAAsB;QACzD,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,gBAAgB,GAAG,IAAI,GAAG,EAAE,CAAC;QAClC,0CAA0C;QAC1C,YAAY,CAAC,GAAG,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;QACzC,YAAY,CAAC,GAAG,CAAC,gBAAgB,CAAC,WAAW,CAAC,CAAC;QAC/C,YAAY,CAAC,GAAG,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;QACzC,YAAY,CAAC,GAAG,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QAC5C,IAAI,CAAC,YAAY,GAAG,IAAI,GAAG,EAAE,CAAC;QAC9B,MAAM,sBAAsB,GAAqB,EAAE,CAAC;QACpD,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;YACvB,MAAM,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC;YACtC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;YACxC,sBAAsB,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,UAAU,GAAG,IAAI,UAAU,CAAC;YAC7B,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC;gBACtB,UAAU,EAAE;oBACR,sBAAsB;oBACtB,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;iBAC7D;aACJ,CAAC;SACL,CAAC,CAAC;IACP,CAAC;IAES,YAAY,CAAC,CAAa;QAChC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YACf,IAAI,CAAC,YAAY,EAAE,CAAC;QACxB,CAAC;IACL,CAAC;IAED;;OAEG;IACO,YAAY,CAAC,SAAoB;QACvC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;YACrB,OAAO,EAAE,WAAW,CAAC,YAAY,CAAC,EAAE,CAAC,SAAS,CAAC;SAClD,CAAC,CAAC;IACP,CAAC;IAED;;OAEG;IACI,OAAO;QACV,OAAO,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAChD,CAAC;IAED;;OAEG;IACI,OAAO,CAAC,IAAY;QACvB,IAAI,CAAC,UAAU,CAAC,QAAQ,CACpB,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CACpE,CAAC;IACN,CAAC;IAED;;;;;OAKG;IACI,WAAW,CAAC,GAAG,KAAiC;QACnD,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;YACrB,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;SACnF,CAAC,CAAC;IACP,CAAC;IAED;;OAEG;IACI,KAAK;QACR,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QACxB,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClC,CAAC;IAED;;OAEG;IACI,cAAc,CAAC,gBAAwB;QAC1C,IAAI,CAAC,WAAW,CAAC;YACb,gBAAgB,CAAC,WAAW;YAC5B,WAAW,CAAC,gBAAgB,CAAC;SAChC,CAAC,CAAC;IACP,CAAC;IAED;;OAEG;IACI,WAAW,CAAC,QAAiB;QAChC,IAAI,eAAe,GAAc,EAAE,CAAC;QACpC,IAAI,QAAQ,EAAE,CAAC;YACX,eAAe,GAAG,CAAC,SAAS,CAAC,CAAC;QAClC,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC;IAChE,CAAC;IAED;;;OAGG;IACI,UAAU,CAAC,OAA+B;QAC7C,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACrC,IAAI,CAAC,WAAW,CAAC;YACb,gBAAgB,CAAC,KAAK;YACtB,UAAU,CAAC,KAAK,iBACZ,cAAc,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,EACpC,GAAG,EAAE;oBACD,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,QAAQ,EAAE,MAAM;oBACrD,WAAW,EAAE,MAAM,CAAC,+CAA+C;iBACtE,EACD,wBAAwB,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAC/D,YAAY,EAAE;oBACV,kBAAkB,EAAE,SAAS;oBAC7B,OAAO,EAAE,OAAO,EAAE,kBAAkB,EAAE,MAAM;iBAC/C,IACE,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,EAC/B;SACL,CAAC,CAAC;IACP,CAAC;IAEkB,OAAO,CAAC,OAAsB;QAC7C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9B,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,QAAQ,IAAI,KAAK,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAiB,IAAI,CAAC,MAAsB,CAAC;QAC3D,IAAI,CAAC,WAAW,CAAC;YACb,gBAAgB,CAAC,QAAQ;YACzB,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC,wBAAwB,CAAC,QAAQ,CAA6B,CAAC;SACzF,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QAClD,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACnD,WAAW,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACjD,iBAAiB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAC5C,CAAC;IAED;;OAEG;IACK,YAAY;QAChB,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,QAAQ,EAAE,EAAE;YACpD,iCAAiC;YACjC,IAAI,WAAW,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;gBAC/B,YAAY,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;YACtC,CAAC;YACD,WAAW,CAAC,UAAU,GAAG,GAAG,CAAC;YAC7B,IAAI,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;gBACvC,WAAW,CAAC,OAAO,GAAG,UAAU,CAAC,GAAG,EAAE;oBAClC,WAAW,CAAC,OAAO,GAAG,IAAI,CAAC;oBAC3B,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;gBAClC,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;YACvB,CAAC;iBAAM,CAAC;gBACJ,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YAClC,CAAC;YACD,WAAW,CAAC,UAAU,GAAG,GAAG,CAAC;QACjC,CAAC,CAAC,CAAC;IACP,CAAC;IAED;;OAEG;IACI,QAAQ,CAAC,cAAiC;QAC7C,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,cAAc,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;IAChF,CAAC;;AA9La,sBAAK,GAAG,OAAO,CAAC;AAChB,4BAAW,GAAG,aAAa,CAAC;AAC5B,sBAAK,GAAG,OAAO,CAAC;AAChB,yBAAQ,GAAG,UAAU,CAAC"}

package/dist/editor/DarkTheme.d.ts

@@ -1 +0,0 @@
-export declare const darkTheme: import("@codemirror/state").Extension;

package/dist/editor/DarkTheme.js

@@ -1,72 +0,0 @@
-// Based on https://github.com/codemirror/theme-one-dark/blob/main/src/one-dark.ts with slight edits
-import { EditorView } from "@codemirror/view";
-// Using https://github.com/one-dark/vscode-one-dark-theme/ as reference for the colors
-const ivory = "#abb2bf";
-const stone = "#7d8799"; // Brightened compared to original to increase contrast
-const darkBackground = "#21252b";
-const highlightBackground = "#2c313a";
-const background = "#282c34";
-const tooltipBackground = "#353a42";
-const selection = "#3E4451";
-const cursor = "#528bff";
-// / The editor theme styles
-export const darkTheme = EditorView.theme({
-    "&": {
-        color: ivory,
-        backgroundColor: background
-    },
-    ".cm-content": {
-        caretColor: cursor
-    },
-    ".cm-cursor, .cm-dropCursor": { borderLeftColor: cursor },
-    "&.cm-focused .cm-selectionBackground, .cm-selectionBackground, .cm-content ::selection": { backgroundColor: selection },
-    ".cm-panels": { backgroundColor: darkBackground, color: ivory },
-    ".cm-panels.cm-panels-top": { borderBottom: "2px solid black" },
-    ".cm-panels.cm-panels-bottom": { borderTop: "2px solid black" },
-    ".cm-searchMatch": {
-        backgroundColor: "#72a1ff59",
-        outline: "1px solid #457dff"
-    },
-    ".cm-searchMatch.cm-searchMatch-selected": {
-        backgroundColor: "#6199ff2f"
-    },
-    ".cm-activeLine": { backgroundColor: highlightBackground },
-    ".cm-selectionMatch": { backgroundColor: "#aafe661a" },
-    "&.cm-focused .cm-matchingBracket, &.cm-focused .cm-nonmatchingBracket": {
-        backgroundColor: "#bad0f847",
-        outline: "1px solid #515a6b"
-    },
-    ".cm-gutters": {
-        // make gutters darker
-        backgroundColor: darkBackground,
-        color: stone,
-        border: "none"
-    },
-    ".cm-activeLineGutter": {
-        backgroundColor: highlightBackground
-    },
-    ".cm-foldPlaceholder": {
-        backgroundColor: "transparent",
-        border: "none",
-        color: "#ddd"
-    },
-    ".cm-tooltip": {
-        border: "none",
-        backgroundColor: tooltipBackground
-    },
-    ".cm-tooltip .cm-tooltip-arrow:before": {
-        borderTopColor: "transparent",
-        borderBottomColor: "transparent"
-    },
-    ".cm-tooltip .cm-tooltip-arrow:after": {
-        borderTopColor: tooltipBackground,
-        borderBottomColor: tooltipBackground
-    },
-    ".cm-tooltip-autocomplete": {
-        "& > ul > li[aria-selected]": {
-            backgroundColor: highlightBackground,
-            color: ivory
-        }
-    }
-}, { dark: true });
-//# sourceMappingURL=DarkTheme.js.map

package/dist/editor/DarkTheme.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"DarkTheme.js","sourceRoot":"","sources":["../../src/editor/DarkTheme.ts"],"names":[],"mappings":"AAAA,oGAAoG;AACpG,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,uFAAuF;AAEvF,MAAM,KAAK,GAAG,SAAS,CAAC;AACxB,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,uDAAuD;AAChF,MAAM,cAAc,GAAG,SAAS,CAAC;AACjC,MAAM,mBAAmB,GAAG,SAAS,CAAC;AACtC,MAAM,UAAU,GAAG,SAAS,CAAC;AAC7B,MAAM,iBAAiB,GAAG,SAAS,CAAC;AACpC,MAAM,SAAS,GAAG,SAAS,CAAC;AAC5B,MAAM,MAAM,GAAG,SAAS,CAAC;AAEzB,4BAA4B;AAC5B,MAAM,CAAC,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC;IACtC,GAAG,EAAE;QACD,KAAK,EAAE,KAAK;QACZ,eAAe,EAAE,UAAU;KAC9B;IAED,aAAa,EAAE;QACX,UAAU,EAAE,MAAM;KACrB;IAED,4BAA4B,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE;IAEzD,wFAAwF,EAAE,EAAE,eAAe,EAAE,SAAS,EAAE;IAExH,YAAY,EAAE,EAAE,eAAe,EAAE,cAAc,EAAE,KAAK,EAAE,KAAK,EAAE;IAC/D,0BAA0B,EAAE,EAAE,YAAY,EAAE,iBAAiB,EAAE;IAC/D,6BAA6B,EAAE,EAAE,SAAS,EAAE,iBAAiB,EAAE;IAE/D,iBAAiB,EAAE;QACf,eAAe,EAAE,WAAW;QAC5B,OAAO,EAAE,mBAAmB;KAC/B;IACD,yCAAyC,EAAE;QACvC,eAAe,EAAE,WAAW;KAC/B;IAED,gBAAgB,EAAE,EAAE,eAAe,EAAE,mBAAmB,EAAE;IAC1D,oBAAoB,EAAE,EAAE,eAAe,EAAE,WAAW,EAAE;IAEtD,uEAAuE,EAAE;QACrE,eAAe,EAAE,WAAW;QAC5B,OAAO,EAAE,mBAAmB;KAC/B;IAED,aAAa,EAAE;QACX,sBAAsB;QACtB,eAAe,EAAE,cAAc;QAC/B,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,MAAM;KACjB;IAED,sBAAsB,EAAE;QACpB,eAAe,EAAE,mBAAmB;KACvC;IAED,qBAAqB,EAAE;QACnB,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,MAAM;QACd,KAAK,EAAE,MAAM;KAChB;IAED,aAAa,EAAE;QACX,MAAM,EAAE,MAAM;QACd,eAAe,EAAE,iBAAiB;KACrC;IACD,sCAAsC,EAAE;QACpC,cAAc,EAAE,aAAa;QAC7B,iBAAiB,EAAE,aAAa;KACnC;IACD,qCAAqC,EAAE;QACnC,cAAc,EAAE,iBAAiB;QACjC,iBAAiB,EAAE,iBAAiB;KACvC;IACD,0BAA0B,EAAE;QACxB,4BAA4B,EAAE;YAC1B,eAAe,EAAE,mBAAmB;YACpC,KAAK,EAAE,KAAK;SACf;KACJ;CACJ,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC"}

package/dist/editor/DebugExtension.d.ts

@@ -1,11 +0,0 @@
-import { EditorView } from "@codemirror/view";
-import { Extension } from "@codemirror/state";
-export declare class DebugExtension {
-    private readonly view;
-    private gutter;
-    private lineEffect;
-    constructor(view: EditorView);
-    reset(): void;
-    markLine(lineNr: number | undefined): void;
-    toExtension(): Extension;
-}