@dodona/papyros 4.1.0 → 4.1.1

package/dist/frontend/components/app/examples/PythonExamples.js

@@ -1,163 +0,0 @@
-export const PYTHON_EXAMPLES = {
-    "Hello, World!": "print('Hello, World!')",
-    Input: `name = input('What is your name?')
-print(f'Hello, {name}!')`,
-    Fibonacci: `def fibonacci(n):
-    return n if n <= 1 else fibonacci(n- 2) + fibonacci(n - 1)
-
-print([fibonacci(n) for n in range(10)])`,
-    Doctests: `def factorial(n):
-    """Return the factorial of n, an exact integer >= 0.
-
-    >>> [factorial(n) for n in range(6)]
-    [1, 1, 2, 6, 24, 120]
-    >>> factorial(30)
-    265252859812191058636308480000000
-    >>> factorial(-1)
-    Traceback (most recent call last):
-        ...
-    ValueError: n must be >= 0
-
-    Factorials of floats are OK, but the float must be an exact integer:
-    >>> factorial(30.1)
-    Traceback (most recent call last):
-        ...
-    ValueError: n must be exact integer
-    >>> factorial(30.0)
-    265252859812191058636308480000000
-
-    It must also not be ridiculously large:
-    >>> factorial(1e100)
-    Traceback (most recent call last):
-        ...
-    OverflowError: n too large
-    """
-
-    import math
-    if not n >= 0:
-        raise ValueError("n must be >= 0")
-    if math.floor(n) != n:
-        raise ValueError("n must be exact integer")
-    if n+1 == n:  # catch a value like 1e300
-        raise OverflowError("n too large")
-    result = 1
-    factor = 2
-    while factor <= n:
-        result *= factor
-        factor += 1
-    return result
-
-def wrong_factorial(n):
-    """
-    >>> [wrong_factorial(n) for n in range(6)]
-    [1, 1, 2, 6, 24, 120]
-    >>> wrong_factorial(30)
-    265252859812191058636308480000000
-    """
-    return 0
-`,
-    Async: `import asyncio
-
-async def nested():
-    print(42)
-
-async def main():
-    # Schedule nested() to run soon concurrently
-    # with "main()".
-    task = asyncio.create_task(nested())
-
-    # "task" can now be used to cancel "nested()", or
-    # can simply be awaited to wait until it is complete:
-    await task
-
-await main()
-`,
-    Erroneous: `def bitonic_search(numbers, query):
-    if not numbers:
-        return -1
-    if len(numbers) == 1:
-        return 0 if numbers[0] == query else -1
-    int top_index = find_max_index(numbers, 0, len(numbers))
-    possible_position = find_bitonic_query(numbers,query,0,top_index+1, lambda a, b: a - b)
-    if possible_position != -1:
-        return possible_position
-    else:
-        return find_bitonic_query(numbers,query,top_index, len(numbers), lambda a, b: b - a)
-
-def find_max_index(numbers, start, stop):
-    while start <= stop:
-        if stop - start <= 1:
-            return start
-        middle = (start + stop) / 2;
-        if numbers[middle] < numbers[middle+1]:
-            start = midden + 1
-        else:
-            stop = midden
-        
-def find_bitonic_query(numbers, query, start, stop, comp):
-    while start <= stop:
-        if stop - start <= 1:
-            return start if numbers[start] == query else -1
-        middle = (start + stop) / 2;
-        if comp(numbers[midden], query) <= 0:
-            start = midden
-        else:
-            stop = midden
-`,
-    Unicode: `import random
-emoji = '🎅🤶👪🦌🌟❄️☃️🔥🎄🎁🧦🔔🎶🕯️🦆'
-for _ in range(10):
-    print(''.join(random.choice(emoji) for _ in range(30)))
-`,
-    Files: `with open("names.txt", "w") as out_file:
-    for name in ["Alice", "Bob", "Claire"]:
-        print(name, file=out_file)
-
-with open("names.txt", "r") as in_file:
-    for line in in_file:
-        print(line.rstrip())
-`,
-    Matplotlib: `import matplotlib.pyplot as plt
-import networkx as nx
-
-plt.rcParams["font.size"] = 10
-plt.figure()
-plt.title('Random graph')
-
-plt.tick_params(
-    axis='both', left='off', top='off', right='off', 
-    bottom='off', labelleft='off', labeltop='off', 
-    labelright='off', labelbottom='off'
-)
-G = nx.random_geometric_graph(512, 0.125)
-pos=nx.spring_layout(G)
-nx.draw_networkx_edges(G, pos, alpha=0.2)
-nx.draw_networkx_nodes(G, pos, node_color='r', node_size=12)
-
-plt.show()
-`,
-    Sleep: `import time
-text = """What is the air-speed velocity of an unladen swallow?
-What do you mean? An African or European swallow?
-What? I, I don't know that.
-"""
-for character in text:
-    print(character, end="")
-    time.sleep(0.1)
-`,
-    Overflow: `from functools import lru_cache
-
-@lru_cache
-def fibonacci(n):
-    return n if n <= 1 else fibonacci(n- 2) + fibonacci(n - 1)
-
-for index in range(5000):
-    print(f'{index}: {fibonacci(index)}')
-`,
-    Interrupt: `i = 0
-while i >= 0:
-    print(i)
-    i += 1
-`,
-};
-//# sourceMappingURL=PythonExamples.js.map

package/dist/frontend/components/app/examples/PythonExamples.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"PythonExamples.js","sourceRoot":"","sources":["../../../../../src/frontend/components/app/examples/PythonExamples.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,eAAe,GAAG;IAC3B,eAAe,EAAE,wBAAwB;IACzC,KAAK,EAAE;yBACc;IACrB,SAAS,EAAE;;;yCAG0B;IACrC,QAAQ,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiDb;IACG,KAAK,EAAE;;;;;;;;;;;;;;;CAeV;IACG,SAAS,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA+Bd;IACG,OAAO,EAAE;;;;CAIZ;IACG,KAAK,EAAE;;;;;;;CAOV;IACG,UAAU,EAAE;;;;;;;;;;;;;;;;;;CAkBf;IACG,KAAK,EAAE;;;;;;;;CAQV;IACG,QAAQ,EAAE;;;;;;;;CAQb;IACG,SAAS,EAAE;;;;CAId;CACA,CAAC"}

package/dist/frontend/components/app/themes/ThemePicker.d.ts

@@ -1,11 +0,0 @@
-import { TemplateResult } from "lit";
-import "./ThemedButton";
-import "@material/web/icon/icon";
-import "@material/web/iconbutton/icon-button";
-import { PapyrosElement } from "../../PapyrosElement";
-import { ThemeOption } from "../../../state/Constants";
-export declare class ThemePicker extends PapyrosElement {
-    picking: boolean;
-    setTheme(theme: ThemeOption): void;
-    protected render(): TemplateResult[] | TemplateResult;
-}

package/dist/frontend/components/app/themes/ThemePicker.js

@@ -1,48 +0,0 @@
-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 { customElement, property } from "lit/decorators.js";
-import { html } from "lit";
-import "./ThemedButton";
-import "@material/web/icon/icon";
-import "@material/web/iconbutton/icon-button";
-import { PapyrosElement } from "../../PapyrosElement";
-let ThemePicker = class ThemePicker extends PapyrosElement {
-    constructor() {
-        super(...arguments);
-        this.picking = false;
-    }
-    setTheme(theme) {
-        this.picking = false;
-        this.papyros.constants.activeTheme = theme;
-    }
-    render() {
-        if (!this.picking) {
-            return html `
-                <md-icon-button @click=${() => (this.picking = true)}>
-                    <md-icon>
-                        <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 -960 960 960" fill="#currentCollor">
-                            <path
-                                d="M480-80q-82 0-155-31.5t-127.5-86Q143-252 111.5-325T80-480q0-83 32.5-156t88-127Q256-817 330-848.5T488-880q80 0 151 27.5t124.5 76q53.5 48.5 85 115T880-518q0 115-70 176.5T640-280h-74q-9 0-12.5 5t-3.5 11q0 12 15 34.5t15 51.5q0 50-27.5 74T480-80Zm0-400Zm-220 40q26 0 43-17t17-43q0-26-17-43t-43-17q-26 0-43 17t-17 43q0 26 17 43t43 17Zm120-160q26 0 43-17t17-43q0-26-17-43t-43-17q-26 0-43 17t-17 43q0 26 17 43t43 17Zm200 0q26 0 43-17t17-43q0-26-17-43t-43-17q-26 0-43 17t-17 43q0 26 17 43t43 17Zm120 160q26 0 43-17t17-43q0-26-17-43t-43-17q-26 0-43 17t-17 43q0 26 17 43t43 17ZM480-160q9 0 14.5-5t5.5-13q0-14-15-33t-15-57q0-42 29-67t71-25h70q66 0 113-38.5T800-518q0-121-92.5-201.5T488-800q-136 0-232 93t-96 227q0 133 93.5 226.5T480-160Z"
-                            />
-                        </svg>
-                    </md-icon>
-                </md-icon-button>
-            `;
-        }
-        return Object.values(this.papyros.constants.themes).map((t) => html `
-                <p-themed-button .theme=${t.theme} .dark=${t.dark} @click=${() => this.setTheme(t)}></p-themed-button>
-            `);
-    }
-};
-__decorate([
-    property({ state: true })
-], ThemePicker.prototype, "picking", void 0);
-ThemePicker = __decorate([
-    customElement("p-theme-picker")
-], ThemePicker);
-export { ThemePicker };
-//# sourceMappingURL=ThemePicker.js.map

package/dist/frontend/components/app/themes/ThemePicker.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"ThemePicker.js","sourceRoot":"","sources":["../../../../../src/frontend/components/app/themes/ThemePicker.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,IAAI,EAAkB,MAAM,KAAK,CAAC;AAC3C,OAAO,gBAAgB,CAAC;AACxB,OAAO,yBAAyB,CAAC;AACjC,OAAO,sCAAsC,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAI/C,IAAM,WAAW,GAAjB,MAAM,WAAY,SAAQ,cAAc;IAAxC;;QAEH,YAAO,GAAG,KAAK,CAAC;IA4BpB,CAAC;IA1BG,QAAQ,CAAC,KAAkB;QACvB,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC;QACrB,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,GAAG,KAAK,CAAC;IAC/C,CAAC;IAEkB,MAAM;QACrB,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAChB,OAAO,IAAI,CAAA;yCACkB,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;;;;;;;;;aASvD,CAAC;QACN,CAAC;QAED,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,CACnD,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAA;0CACmB,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,IAAI,WAAW,GAAG,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;aACrF,CACJ,CAAC;IACN,CAAC;CACJ,CAAA;AA5BG;IADC,QAAQ,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;4CACV;AAFP,WAAW;IADvB,aAAa,CAAC,gBAAgB,CAAC;GACnB,WAAW,CA8BvB"}

package/dist/frontend/components/app/themes/ThemedButton.d.ts

@@ -1,9 +0,0 @@
-import { CSSResult, LitElement, TemplateResult } from "lit";
-import "@material/web/icon/icon";
-import "@material/web/iconbutton/filled-icon-button";
-export declare class ThemedButton extends LitElement {
-    theme: CSSResult | undefined;
-    dark: boolean;
-    connectedCallback(): void;
-    protected render(): TemplateResult;
-}

package/dist/frontend/components/app/themes/ThemedButton.js

@@ -1,53 +0,0 @@
-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 { adoptStyles, html, LitElement } from "lit";
-import { customElement, property } from "lit/decorators.js";
-import "@material/web/icon/icon";
-import "@material/web/iconbutton/filled-icon-button";
-let ThemedButton = class ThemedButton extends LitElement {
-    constructor() {
-        super(...arguments);
-        this.dark = false;
-    }
-    connectedCallback() {
-        super.connectedCallback();
-        if (this.theme) {
-            adoptStyles(this.renderRoot, [this.theme]);
-        }
-    }
-    render() {
-        return html `
-            <md-filled-icon-button>
-                <md-icon>
-                    ${this.dark
-            ? html `
-                              <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 -960 960 960" fill="currentColor">
-                                  <path
-                                      d="M480-120q-150 0-255-105T120-480q0-150 105-255t255-105q14 0 27.5 1t26.5 3q-41 29-65.5 75.5T444-660q0 90 63 153t153 63q55 0 101-24.5t75-65.5q2 13 3 26.5t1 27.5q0 150-105 255T480-120Zm0-80q88 0 158-48.5T740-375q-20 5-40 8t-40 3q-123 0-209.5-86.5T364-660q0-20 3-40t8-40q-78 32-126.5 102T200-480q0 116 82 198t198 82Zm-10-270Z"
-                                  />
-                              </svg>
-                          `
-            : html `
-                              <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 -960 960 960" fill="currentColor">
-                                  <path
-                                      d="M480-360q50 0 85-35t35-85q0-50-35-85t-85-35q-50 0-85 35t-35 85q0 50 35 85t85 35Zm0 80q-83 0-141.5-58.5T280-480q0-83 58.5-141.5T480-680q83 0 141.5 58.5T680-480q0 83-58.5 141.5T480-280ZM200-440H40v-80h160v80Zm720 0H760v-80h160v80ZM440-760v-160h80v160h-80Zm0 720v-160h80v160h-80ZM256-650l-101-97 57-59 96 100-52 56Zm492 496-97-101 53-55 101 97-57 59Zm-98-550 97-101 59 57-100 96-56-52ZM154-212l101-97 55 53-97 101-59-57Zm326-268Z"
-                                  />
-                              </svg>
-                          `}
-                </md-icon>
-            </md-filled-icon-button>
-        `;
-    }
-};
-__decorate([
-    property({ type: Boolean })
-], ThemedButton.prototype, "dark", void 0);
-ThemedButton = __decorate([
-    customElement("p-themed-button")
-], ThemedButton);
-export { ThemedButton };
-//# sourceMappingURL=ThemedButton.js.map

package/dist/frontend/components/app/themes/ThemedButton.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"ThemedButton.js","sourceRoot":"","sources":["../../../../../src/frontend/components/app/themes/ThemedButton.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,WAAW,EAAa,IAAI,EAAE,UAAU,EAAkB,MAAM,KAAK,CAAC;AAC/E,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,yBAAyB,CAAC;AACjC,OAAO,6CAA6C,CAAC;AAG9C,IAAM,YAAY,GAAlB,MAAM,YAAa,SAAQ,UAAU;IAArC;;QAGH,SAAI,GAAY,KAAK,CAAC;IAgC1B,CAAC;IA9BmB,iBAAiB;QAC7B,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACb,WAAW,CAAC,IAAI,CAAC,UAAwB,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7D,CAAC;IACL,CAAC;IAEkB,MAAM;QACrB,OAAO,IAAI,CAAA;;;sBAGG,IAAI,CAAC,IAAI;YACP,CAAC,CAAC,IAAI,CAAA;;;;;;2BAMH;YACH,CAAC,CAAC,IAAI,CAAA;;;;;;2BAMH;;;SAGlB,CAAC;IACN,CAAC;CACJ,CAAA;AAhCG;IADC,QAAQ,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;0CACN;AAHb,YAAY;IADxB,aAAa,CAAC,iBAAiB,CAAC;GACpB,YAAY,CAmCxB"}

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

@@ -1,8 +0,0 @@
-import { CodeMirrorEditor } from "./CodeMirrorEditor";
-import { CSSResult } from "lit";
-export declare class BatchInputEditor extends CodeMirrorEditor {
-    static get styles(): CSSResult;
-    set usedLines(value: number);
-    set readOnly(value: boolean);
-    constructor();
-}

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

@@ -1,51 +0,0 @@
-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 { customElement, property } from "lit/decorators.js";
-import { CodeMirrorEditor } from "./CodeMirrorEditor";
-import { EditorView, keymap } from "@codemirror/view";
-import { css } from "lit";
-import { defaultKeymap } from "@codemirror/commands";
-import { setUsedLines, usedLineExtension } from "./Extensions";
-let BatchInputEditor = class BatchInputEditor extends CodeMirrorEditor {
-    static get styles() {
-        return css `
-            :host {
-                width: 100%;
-                height: 100%;
-            }
-        `;
-    }
-    set usedLines(value) {
-        var _a;
-        const lines = Array.from({ length: value }, (a, i) => i + 1);
-        (_a = this.view) === null || _a === void 0 ? void 0 : _a.dispatch({
-            effects: setUsedLines.of(lines),
-        });
-    }
-    set readOnly(value) {
-        this.configure({
-            debugging: value ? EditorView.editable.of(false) : [],
-        });
-    }
-    constructor() {
-        super();
-        this.configure({
-            default: [usedLineExtension, keymap.of(defaultKeymap)],
-        });
-    }
-};
-__decorate([
-    property({ type: Number })
-], BatchInputEditor.prototype, "usedLines", null);
-__decorate([
-    property({ type: Boolean })
-], BatchInputEditor.prototype, "readOnly", null);
-BatchInputEditor = __decorate([
-    customElement("p-batch-input-editor")
-], BatchInputEditor);
-export { BatchInputEditor };
-//# sourceMappingURL=BatchInputEditor.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"BatchInputEditor.js","sourceRoot":"","sources":["../../../../src/frontend/components/code_mirror/BatchInputEditor.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,GAAG,EAAa,MAAM,KAAK,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAGxD,IAAM,gBAAgB,GAAtB,MAAM,gBAAiB,SAAQ,gBAAgB;IAClD,MAAM,KAAK,MAAM;QACb,OAAO,GAAG,CAAA;;;;;SAKT,CAAC;IACN,CAAC;IAGD,IAAI,SAAS,CAAC,KAAa;;QACvB,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7D,MAAA,IAAI,CAAC,IAAI,0CAAE,QAAQ,CAAC;YAChB,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC;SAClC,CAAC,CAAC;IACP,CAAC;IAGD,IAAI,QAAQ,CAAC,KAAc;QACvB,IAAI,CAAC,SAAS,CAAC;YACX,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE;SACxD,CAAC,CAAC;IACP,CAAC;IAED;QACI,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,SAAS,CAAC;YACX,OAAO,EAAE,CAAC,iBAAiB,EAAE,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;SACzD,CAAC,CAAC;IACP,CAAC;CACJ,CAAA;AApBG;IADC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;iDAM1B;AAGD;IADC,QAAQ,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;gDAK3B;AAvBQ,gBAAgB;IAD5B,aAAa,CAAC,sBAAsB,CAAC;GACzB,gBAAgB,CA+B5B"}

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

@@ -1,24 +0,0 @@
-import { CodeMirrorEditor } from "./CodeMirrorEditor";
-import { CSSResult } from "lit";
-import { WorkerDiagnostic } from "../../../backend/Backend";
-import { ProgrammingLanguage } from "../../../ProgrammingLanguage";
-export declare class CodeEditor extends CodeMirrorEditor {
-    static get styles(): CSSResult;
-    set debug(value: boolean);
-    set debugLine(value: number | undefined);
-    set testLines(value: number[] | undefined);
-    /**
-     * Override the value setter to temporarily disable read-only ranges
-     */
-    dispatchChange(): void;
-    set testLineCount(value: number | undefined);
-    set testTranslations(value: {
-        description: string;
-        edit: string;
-        remove: string;
-    });
-    set programmingLanguage(value: ProgrammingLanguage);
-    set lintingSource(lintSource: () => Promise<readonly WorkerDiagnostic[]>);
-    set indentLength(length: number);
-    constructor();
-}

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

@@ -1,200 +0,0 @@
-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 {
-                position: absolute;
-                top: 0;
-                left: -50px;
-                z-index: 220;
-                width: 50px;
-                padding-left: 4px;
-            }
-
-            .papyros-icon-link {
-                font-size: 16px;
-                padding: 0 4px;
-                cursor: pointer;
-            }
-
-            .papyros-icon-link:hover {
-                color: var(--md-sys-color-primary);
-            }
-        `;
-    }
-    set debug(value) {
-        this.configure({
-            debugging: value ? debugLineExtension : [highlightActiveLineGutter(), lintGutter(), highlightActiveLine()],
-        });
-        this.readonly = value;
-    }
-    set debugLine(value) {
-        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;
-                    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

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

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

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