@dodona/papyros 3.0.2 → 4.0.0-beta-9

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;
-}

package/dist/editor/DebugExtension.js

@@ -1,70 +0,0 @@
-import { Decoration, EditorView, gutterLineClass, GutterMarker } from "@codemirror/view";
-import { LineEffectExtension } from "./LineEffectExtension";
-import { DebugLineGutter } from "./Gutters";
-import { RangeSet, StateEffect, StateField } from "@codemirror/state";
-import { BackendManager } from "../BackendManager";
-import { BackendEventType } from "../BackendEvent";
-const activeLineDecoration = Decoration.line({ class: "cm-activeLine" });
-const activeLineGutterMarker = new class extends GutterMarker {
-    constructor() {
-        super(...arguments);
-        this.elementClass = "cm-activeLineGutter";
-    }
-};
-const markLine = StateEffect.define();
-const markedLine = StateField.define({
-    create: () => undefined,
-    update(value, tr) {
-        for (const effect of tr.effects) {
-            if (effect.is(markLine)) {
-                return effect.value;
-            }
-        }
-        return value;
-    }
-});
-const markedLineGutterHighlighter = gutterLineClass.compute([markedLine], state => {
-    if (state.field(markedLine) === undefined) {
-        return RangeSet.empty;
-    }
-    const linePos = state.doc.line(state.field(markedLine)).from;
-    return RangeSet.of([activeLineGutterMarker.range(linePos)]);
-});
-export class DebugExtension {
-    constructor(view) {
-        this.view = view;
-        this.gutter = new DebugLineGutter();
-        this.lineEffect = new LineEffectExtension(view);
-        BackendManager.subscribe(BackendEventType.FrameChange, e => {
-            const line = e.data.line;
-            this.markLine(line);
-        });
-    }
-    reset() {
-        this.markLine(1);
-    }
-    markLine(lineNr) {
-        if (lineNr === undefined) {
-            this.gutter.markLine(this.view, lineNr);
-            this.lineEffect.set([]);
-            this.view.dispatch({ effects: [markLine.of(undefined)] });
-            return;
-        }
-        this.gutter.markLine(this.view, lineNr);
-        this.lineEffect.set([activeLineDecoration.range(this.view.state.doc.line(lineNr).from)]);
-        this.view.dispatch({ effects: [
-                markLine.of(lineNr),
-                EditorView.scrollIntoView(this.view.state.doc.line(lineNr).from)
-            ] });
-    }
-    toExtension() {
-        return [
-            this.lineEffect.toExtension(),
-            this.gutter.toExtension(),
-            markedLine,
-            markedLineGutterHighlighter,
-            EditorView.editable.of(false)
-        ];
-    }
-}
-//# sourceMappingURL=DebugExtension.js.map

package/dist/editor/DebugExtension.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"DebugExtension.js","sourceRoot":"","sources":["../../src/editor/DebugExtension.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACzF,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,EAAa,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAEnD,MAAM,oBAAoB,GAAG,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC,CAAC;AACzE,MAAM,sBAAsB,GAAG,IAAI,KAAM,SAAQ,YAAY;IAA1B;;QAC/B,iBAAY,GAAG,qBAAqB,CAAC;IACzC,CAAC;CAAA,CAAC;AACF,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,EAAoB,CAAC;AACxD,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAmB;IACnD,MAAM,EAAE,GAAG,EAAE,CAAC,SAAS;IACvB,MAAM,CAAC,KAAK,EAAE,EAAE;QACZ,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;YAC9B,IAAI,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACtB,OAAO,MAAM,CAAC,KAAK,CAAC;YACxB,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;CACJ,CAAC,CAAC;AACH,MAAM,2BAA2B,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,EAAE;IAC9E,IAAI,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,SAAS,EAAE,CAAC;QACxC,OAAO,QAAQ,CAAC,KAAK,CAAC;IAC1B,CAAC;IAED,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAW,CAAC,CAAC,IAAI,CAAC;IACvE,OAAO,QAAQ,CAAC,EAAE,CAAC,CAAC,sBAAsB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC,CAAC,CAAC;AAEH,MAAM,OAAO,cAAc;IAMvB,YAAY,IAAgB;QACxB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;QACpC,IAAI,CAAC,UAAU,GAAG,IAAI,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAEhD,cAAc,CAAC,SAAS,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE;YACvD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YACzB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC;IACP,CAAC;IAEM,KAAK;QACR,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;IAEM,QAAQ,CAAC,MAA0B;QACtC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACxC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACxB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC;YAC1D,OAAO;QACX,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACxC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzF,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE;gBAC1B,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAC;gBACnB,UAAU,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC;aACnE,EAAE,CAAC,CAAC;IACT,CAAC;IAEM,WAAW;QACd,OAAO;YACH,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE;YAC7B,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE;YACzB,UAAU;YACV,2BAA2B;YAC3B,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC;SAChC,CAAC;IACN,CAAC;CACJ"}

package/dist/editor/Gutters.d.ts

@@ -1,109 +0,0 @@
-import { StateEffectType, StateField } from "@codemirror/state";
-import { Extension } from "@codemirror/state";
-import { GutterMarker } from "@codemirror/view";
-import { EditorView } from "@codemirror/view";
-/**
- * Data used in Gutter elements
- */
-export interface GutterInfo {
-    /**
-     * The number of the line (1-based)
-     */
-    lineNr: number;
-    /**
-     * Whether the Gutter element should be shown
-     */
-    on: boolean;
-}
-/**
- * Configuration for Gutters
- */
-export interface IGutterConfig<Info extends GutterInfo> {
-    /**
-     * Name of this Gutter
-     */
-    name: string;
-    /**
-     * HTML class names for the marker icons
-     */
-    markerClasses?: string;
-    /**
-     * Handler for when a Gutter element is clicked
-     */
-    onClick?: (view: EditorView, info: Info) => void;
-    /**
-     * Extra extensions to use for the Gutters
-     */
-    extraExtensions?: Extension;
-}
-export declare abstract class Gutters<Info extends GutterInfo = GutterInfo, Config extends IGutterConfig<Info> = IGutterConfig<Info>> {
-    /**
-     * Config used to initialize the Gutters
-     */
-    protected config: Config;
-    /**
-     * Effect to signal changes in the Gutters
-     */
-    protected effect: StateEffectType<Info>;
-    /**
-     * Current state of the Gutters
-     * Consists of a mapping for line numbers to Info objects
-     */
-    protected state: StateField<Map<number, Info>>;
-    constructor(config: Config);
-    /**
-     * Render a marker with the given info
-     * @param {Info} info Info used to render the marker
-     * Will only be called when info.on is True
-     */
-    protected abstract marker(info: Info): GutterMarker;
-    private applyClasses;
-    hasMarker(view: EditorView, lineNr: number): boolean;
-    /**
-     * Set a marker with the given info
-     * @param {EditorView} view View in which the Gutters live
-     * @param {Info} info Info used to render the marker
-     */
-    setMarker(view: EditorView, info: Info): void;
-    /**
-     * @param {EditorView} view The view in which the Gutters live
-     * @return {Set<number>} The 1-based line numbers with a breakpoint
-     */
-    getMarkedLines(view: EditorView): Set<number>;
-    /**
-     * @return {Extension} The Gutters as a CodeMirror Extension
-     */
-    toExtension(): Extension;
-}
-/**
- * Gutters to show and allow toggling of breakpoints
- */
-export declare class BreakpointsGutter extends Gutters {
-    constructor();
-    protected marker(): GutterMarker;
-}
-/**
- * Extra data used to represent input gutters
- */
-export interface UsedInputGutterInfo extends GutterInfo {
-    /**
-     * Text value to display when hovering over the Gutter element
-     */
-    title: string;
-}
-/**
- * Gutters to show a checkmark for used input
- */
-export declare class UsedInputGutters extends Gutters<UsedInputGutterInfo> {
-    constructor();
-    protected marker(info: UsedInputGutterInfo): GutterMarker;
-}
-/**
- * shows the debugged line
- */
-export declare class DebugLineGutter extends Gutters<GutterInfo> {
-    private activeLine;
-    constructor();
-    protected marker(): GutterMarker;
-    markLine(view: EditorView, lineNr: number | undefined): void;
-}