@dodona/papyros 4.1.1 → 4.1.2

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"MaterialTheme.js","sourceRoot":"","sources":["../../../../src/frontend/components/code_mirror/MaterialTheme.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1E,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAGxC,MAAM,CAAC,MAAM,aAAa,GAAG,UAAU,CAAC,KAAK,CACzC;IACI,cAAc,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE;IACpC,GAAG,EAAE;QACD,MAAM,EAAE,MAAM,EAAE,0BAA0B;QAC1C,KAAK,EAAE,MAAM,EAAE,yBAAyB;QACxC,WAAW,EAAE,MAAM,EAAE,+CAA+C;QACpE,eAAe,EAAE,+CAA+C;QAChE,KAAK,EAAE,mCAAmC;KAC7C;IAED,aAAa,EAAE;QACX,eAAe,EAAE,uCAAuC;QACxD,KAAK,EAAE,wCAAwC;QAC/C,MAAM,EAAE,MAAM;QACd,QAAQ,EAAE,MAAM;KACnB;IAED,aAAa,EAAE;QACX,KAAK,EAAE,mCAAmC;KAC7C;IAED,sCAAsC,EAAE;QACpC,eAAe,EAAE,6EAA6E;KACjG;IAED,cAAc,EAAE;QACZ,OAAO,EAAE,MAAM;KAClB;IAED,yBAAyB,EAAE;QACvB,eAAe,EAAE,6EAA6E;KACjG;IAED,4BAA4B,EAAE;QAC1B,UAAU,EAAE,sDAAsD;KACrE;IAED,aAAa,EAAE;QACX,eAAe,EAAE,6BAA6B;QAC9C,MAAM,EAAE,MAAM;QACd,SAAS,EAAE,6BAA6B;QAExC,qBAAqB,EAAE;YACnB,eAAe,EAAE,+BAA+B;YAChD,KAAK,EAAE,kCAAkC;SAC5C;KACJ;IAED,YAAY,EAAE;QACV,eAAe,EAAE,uCAAuC;QACxD,KAAK,EAAE,gCAAgC;QACvC,MAAM,EAAE,MAAM;KACjB;IAED,iBAAiB,EAAE;QACf,eAAe,EAAE,oEAAoE;KACxF;IACD,yCAAyC,EAAE;QACvC,eAAe,EAAE,0EAA0E;QAC3F,OAAO,EAAE,uCAAuC;KACnD;IACD,oBAAoB,EAAE;QAClB,eAAe,EAAE,oEAAoE;KACxF;IACD,YAAY,EAAE;QACV,UAAU,EAAE,qCAAqC;QACjD,KAAK,EAAE,wCAAwC;QAC/C,MAAM,EAAE,MAAM;KACjB;IACD,kBAAkB,EAAE;QAChB,UAAU,EAAE,+BAA+B;QAC3C,KAAK,EAAE,kCAAkC;KAC5C;IACD,eAAe,EAAE;QACb,UAAU,EAAE,qCAAqC;QACjD,KAAK,EAAE,wCAAwC;QAC/C,MAAM,EAAE,MAAM;KACjB;IACD,qBAAqB,EAAE;QACnB,OAAO,EAAE,MAAM;QACf,MAAM,EAAE,MAAM;QACd,SAAS,EAAE,uCAAuC;KACrD;CACJ,EACD,EAAE,IAAI,EAAE,KAAK,EAAE,CAClB,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,cAAc,CAAC,MAAM,CAAC;IACnD,WAAW;IACX;QACI,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,UAAU,CAAC;QACzE,KAAK,EAAE,wCAAwC;KAClD;IAED,uBAAuB;IACvB;QACI,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC;QACxF,KAAK,EAAE,6BAA6B;KACvC;IACD,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,iBAAiB,EAAE,IAAI,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,6BAA6B,EAAE,SAAS,EAAE,QAAQ,EAAE;IAEhH,QAAQ;IACR,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,mCAAmC,EAAE;IACxG,EAAE,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,KAAK,EAAE,8BAA8B,EAAE,SAAS,EAAE,QAAQ,EAAE;IACrG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,8BAA8B,EAAE;IACtG,EAAE,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,6BAA6B,EAAE;IAC5D,EAAE,GAAG,EAAE,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,6BAA6B,EAAE,SAAS,EAAE,QAAQ,EAAE;IAElF,WAAW;IACX,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,+BAA+B,EAAE;IAC5D,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,+BAA+B,EAAE;IAC5D,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,+BAA+B,EAAE;IAC5D,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,+BAA+B,EAAE;IAC1D,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,+BAA+B,EAAE;IAE1D,sBAAsB;IACtB,EAAE,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,cAAc,EAAE,WAAW,EAAE;IACnD,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE;IACxC,EAAE,GAAG,EAAE,IAAI,CAAC,aAAa,EAAE,cAAc,EAAE,cAAc,EAAE;IAC3D,EAAE,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,mCAAmC,EAAE;IAErF,iBAAiB;IACjB,EAAE,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,2BAA2B,EAAE;IACzD,EAAE,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,2BAA2B,EAAE;IACzD,EAAE,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,mCAAmC,EAAE,UAAU,EAAE,MAAM,EAAE;IAEtF,cAAc;IACd,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,mCAAmC,EAAE;CACxG,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,QAAQ,GAAc,CAAC,aAAa,EAAE,kBAAkB,CAAC,iBAAiB,CAAC,CAAC,CAAC"}

package/dist/frontend/components/code_runner/ButtonLint.d.ts

@@ -0,0 +1,9 @@
+import { CSSResult, TemplateResult } from "lit";
+import { PapyrosElement } from "../PapyrosElement";
+import "@material/web/button/filled-button";
+import "@material/web/button/outlined-button";
+export declare class ButtonLint extends PapyrosElement {
+    static get styles(): CSSResult;
+    get buttons(): TemplateResult | TemplateResult[];
+    protected render(): TemplateResult;
+}

package/dist/frontend/components/code_runner/ButtonLint.js

@@ -0,0 +1,72 @@
+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 } from "lit/decorators.js";
+import { css, html } from "lit";
+import { RunState } from "../../state/Runner";
+import { PapyrosElement } from "../PapyrosElement";
+import { RunMode } from "../../../backend/Backend";
+import "@material/web/button/filled-button";
+import "@material/web/button/outlined-button";
+let ButtonLint = class ButtonLint extends PapyrosElement {
+    static get styles() {
+        return css `
+            :host {
+                display: flex;
+                justify-content: space-between;
+                height: fit-content;
+                padding: 0.5rem;
+                gap: 1rem;
+                flex-wrap: wrap;
+            }
+
+            .buttons {
+                display: flex;
+                gap: 0.5rem;
+                flex-wrap: wrap;
+            }
+        `;
+    }
+    get buttons() {
+        if (this.papyros.runner.state === RunState.Ready) {
+            if (this.papyros.debugger.active) {
+                return html ` <md-outlined-button @click=${() => (this.papyros.debugger.active = false)}>
+                    <span slot="icon">${this.papyros.constants.icons.stopDebug}</span>
+                    ${this.t("Papyros.debug.stop")}
+                </md-outlined-button>`;
+            }
+            else {
+                return [
+                    html ` <md-filled-button @click=${() => this.papyros.runner.start(RunMode.Run)}>
+                        <span slot="icon">${this.papyros.constants.icons[RunMode.Run]}</span>
+                        ${this.t(`Papyros.run_modes.${RunMode.Run}`)}
+                    </md-filled-button>`,
+                    ...this.papyros.runner.runModes.map((mode) => html ` <md-outlined-button @click=${() => this.papyros.runner.start(mode)}>
+                                <span slot="icon">${this.papyros.constants.icons[mode]}</span>
+                                ${this.t(`Papyros.run_modes.${mode}`)}
+                            </md-outlined-button>`),
+                ];
+            }
+        }
+        else {
+            return html ` <md-filled-button @click=${() => this.papyros.runner.stop()}>
+                <span slot="icon">${this.papyros.constants.icons.stop}</span>
+                ${this.t("Papyros.stop")}
+            </md-filled-button>`;
+        }
+    }
+    render() {
+        return html `
+            <div class="buttons">${this.buttons}</div>
+            <div class="buttons"><slot></slot></div>
+        `;
+    }
+};
+ButtonLint = __decorate([
+    customElement("p-button-lint")
+], ButtonLint);
+export { ButtonLint };
+//# sourceMappingURL=ButtonLint.js.map

package/dist/frontend/components/code_runner/ButtonLint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ButtonLint.js","sourceRoot":"","sources":["../../../../src/frontend/components/code_runner/ButtonLint.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,GAAG,EAAa,IAAI,EAAkB,MAAM,KAAK,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,oCAAoC,CAAC;AAC5C,OAAO,sCAAsC,CAAC;AAGvC,IAAM,UAAU,GAAhB,MAAM,UAAW,SAAQ,cAAc;IAC1C,MAAM,KAAK,MAAM;QACb,OAAO,GAAG,CAAA;;;;;;;;;;;;;;;SAeT,CAAC;IACN,CAAC;IAED,IAAI,OAAO;QACP,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,EAAE,CAAC;YAC/C,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;gBAC/B,OAAO,IAAI,CAAA,+BAA+B,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC;wCAC9D,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,SAAS;sBACxD,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC;sCACZ,CAAC;YAC3B,CAAC;iBAAM,CAAC;gBACJ,OAAO;oBACH,IAAI,CAAA,6BAA6B,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;4CACrD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;0BAC3D,IAAI,CAAC,CAAC,CAAC,qBAAqB,OAAO,CAAC,GAAG,EAAE,CAAC;wCAC5B;oBACpB,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAC/B,CAAC,IAAI,EAAE,EAAE,CACL,IAAI,CAAA,+BAA+B,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC;oDAChD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;kCACpD,IAAI,CAAC,CAAC,CAAC,qBAAqB,IAAI,EAAE,CAAC;kDACnB,CAC7B;iBACJ,CAAC;YACN,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,OAAO,IAAI,CAAA,6BAA6B,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE;oCAChD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI;kBACnD,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC;gCACR,CAAC;QACzB,CAAC;IACL,CAAC;IAEkB,MAAM;QACrB,OAAO,IAAI,CAAA;mCACgB,IAAI,CAAC,OAAO;;SAEtC,CAAC;IACN,CAAC;CACJ,CAAA;AAxDY,UAAU;IADtB,aAAa,CAAC,eAAe,CAAC;GAClB,UAAU,CAwDtB"}

package/dist/frontend/components/code_runner/Code.d.ts

@@ -0,0 +1,7 @@
+import { CSSResult, TemplateResult } from "lit";
+import "../code_mirror/CodeEditor";
+import { PapyrosElement } from "../PapyrosElement";
+export declare class Code extends PapyrosElement {
+    static get styles(): CSSResult;
+    protected render(): TemplateResult;
+}

package/dist/frontend/components/code_runner/Code.js

@@ -0,0 +1,48 @@
+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 { css, html } from "lit";
+import "../code_mirror/CodeEditor";
+import { customElement } from "lit/decorators.js";
+import { PapyrosElement } from "../PapyrosElement";
+let Code = class Code extends PapyrosElement {
+    static get styles() {
+        return css `
+            :host {
+                width: 100%;
+                height: 100%;
+            }
+        `;
+    }
+    render() {
+        return html `
+            <p-code-editor
+                .testLineCount=${this.papyros.test.testLineCount}
+                .programmingLanguage=${this.papyros.runner.programmingLanguage}
+                .debug=${this.papyros.debugger.active}
+                .debugLine=${this.papyros.debugger.debugLine}
+                .value=${this.papyros.runner.effectiveCode}
+                .lintingSource=${this.papyros.runner.lintSource.bind(this.papyros.runner)}
+                .indentLength=${this.papyros.constants.indentationSize}
+                .translations=${this.papyros.i18n.getTranslations("CodeMirror")}
+                .theme=${this.papyros.constants.CodeMirrorTheme}
+                .placeholder=${this.t("Papyros.code_placeholder", {
+            programmingLanguage: this.papyros.runner.programmingLanguage,
+        })}
+                .testLines=${this.papyros.test.testLines}
+                .testTranslations=${this.papyros.i18n.getTranslations("Papyros.editor.test_code")}
+                @edit-test-code=${() => this.papyros.test.editTestCode()}
+                @remove-test-code=${() => (this.papyros.test.testCode = undefined)}
+                @change=${(e) => (this.papyros.runner.effectiveCode = e.detail)}
+            ></p-code-editor>
+        `;
+    }
+};
+Code = __decorate([
+    customElement("p-code")
+], Code);
+export { Code };
+//# sourceMappingURL=Code.js.map

package/dist/frontend/components/code_runner/Code.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Code.js","sourceRoot":"","sources":["../../../../src/frontend/components/code_runner/Code.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,GAAG,EAAa,IAAI,EAAkB,MAAM,KAAK,CAAC;AAC3D,OAAO,2BAA2B,CAAC;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAG5C,IAAM,IAAI,GAAV,MAAM,IAAK,SAAQ,cAAc;IACpC,MAAM,KAAK,MAAM;QACb,OAAO,GAAG,CAAA;;;;;SAKT,CAAC;IACN,CAAC;IAEkB,MAAM;QACrB,OAAO,IAAI,CAAA;;iCAEc,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa;uCACzB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,mBAAmB;yBACrD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM;6BACxB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS;yBACnC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa;iCACzB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;gCACzD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,eAAe;gCACtC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,YAAY,CAAC;yBACtD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,eAAe;+BAChC,IAAI,CAAC,CAAC,CAAC,0BAA0B,EAAE;YAC9C,mBAAmB,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,mBAAmB;SAC/D,CAAC;6BACW,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS;oCACpB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,0BAA0B,CAAC;kCAC/D,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE;oCACpC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAC;0BACxD,CAAC,CAAc,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;;SAEnF,CAAC;IACN,CAAC;CACJ,CAAA;AAjCY,IAAI;IADhB,aAAa,CAAC,QAAQ,CAAC;GACX,IAAI,CAiChB"}

package/dist/frontend/components/code_runner/RunState.d.ts

@@ -0,0 +1,7 @@
+import { PapyrosElement } from "../PapyrosElement";
+import { CSSResult, TemplateResult } from "lit";
+import "@material/web/progress/circular-progress";
+export declare class RunStateEl extends PapyrosElement {
+    static get styles(): CSSResult;
+    protected render(): TemplateResult;
+}

package/dist/frontend/components/code_runner/RunState.js

@@ -0,0 +1,41 @@
+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 } from "lit/decorators.js";
+import { PapyrosElement } from "../PapyrosElement";
+import { RunState } from "../../state/Runner";
+import { css, html } from "lit";
+import "@material/web/progress/circular-progress";
+let RunStateEl = class RunStateEl extends PapyrosElement {
+    static get styles() {
+        return css `
+            :host {
+                display: flex;
+                align-items: center;
+                gap: 0.5rem;
+            }
+
+            md-circular-progress {
+                --md-circular-progress-size: 2rem;
+            }
+        `;
+    }
+    render() {
+        if (!this.papyros.runner.stateMessage)
+            return html ``;
+        return html `
+            ${this.papyros.runner.state === RunState.Ready
+            ? ""
+            : html ` <md-circular-progress indeterminate></md-circular-progress> `}
+            ${this.papyros.runner.stateMessage}
+        `;
+    }
+};
+RunStateEl = __decorate([
+    customElement("p-run-state")
+], RunStateEl);
+export { RunStateEl };
+//# sourceMappingURL=RunState.js.map

package/dist/frontend/components/code_runner/RunState.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RunState.js","sourceRoot":"","sources":["../../../../src/frontend/components/code_runner/RunState.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,GAAG,EAAa,IAAI,EAAkB,MAAM,KAAK,CAAC;AAC3D,OAAO,0CAA0C,CAAC;AAG3C,IAAM,UAAU,GAAhB,MAAM,UAAW,SAAQ,cAAc;IAC1C,MAAM,KAAK,MAAM;QACb,OAAO,GAAG,CAAA;;;;;;;;;;SAUT,CAAC;IACN,CAAC;IAEkB,MAAM;QACrB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY;YAAE,OAAO,IAAI,CAAA,EAAE,CAAC;QAErD,OAAO,IAAI,CAAA;cACL,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK;YAC1C,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,IAAI,CAAA,+DAA+D;cACvE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY;SACrC,CAAC;IACN,CAAC;CACJ,CAAA;AAzBY,UAAU;IADtB,aAAa,CAAC,aAAa,CAAC;GAChB,UAAU,CAyBtB"}

package/dist/frontend/components/input/BatchInput.d.ts

@@ -0,0 +1,9 @@
+import { CSSResult, TemplateResult } from "lit";
+import "../code_mirror/BatchInputEditor";
+import { PapyrosElement } from "../PapyrosElement";
+export declare class BatchInput extends PapyrosElement {
+    static get styles(): CSSResult;
+    get usedLines(): number | undefined;
+    get placeholder(): string;
+    protected render(): TemplateResult;
+}

package/dist/frontend/components/input/BatchInput.js

@@ -0,0 +1,53 @@
+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 } from "lit/decorators.js";
+import { css, html } from "lit";
+import "../code_mirror/BatchInputEditor";
+import { RunState } from "../../state/Runner";
+import { PapyrosElement } from "../PapyrosElement";
+let BatchInput = class BatchInput extends PapyrosElement {
+    static get styles() {
+        return css `
+            :host {
+                width: 100%;
+                height: 100%;
+                overflow: auto;
+                display: block;
+            }
+        `;
+    }
+    get usedLines() {
+        if (this.papyros.debugger.active && this.papyros.debugger.debugUsedInputs !== undefined) {
+            return this.papyros.debugger.debugUsedInputs;
+        }
+        return this.papyros.io.inputs.length;
+    }
+    get placeholder() {
+        if (this.papyros.io.prompt) {
+            return this.papyros.io.prompt;
+        }
+        return this.t("Papyros.input_placeholder.batch");
+    }
+    render() {
+        return html `
+            <p-batch-input-editor
+                .value=${this.papyros.io.inputBuffer}
+                .usedLines=${this.usedLines}
+                .readOnly=${this.papyros.debugger.active && this.papyros.runner.state === RunState.Ready}
+                .placeholder=${this.placeholder}
+                .translations=${this.papyros.i18n.getTranslations("CodeMirror")}
+                .theme=${this.papyros.constants.CodeMirrorTheme}
+                @change=${(e) => (this.papyros.io.inputBuffer = e.detail)}
+            ></p-batch-input-editor>
+        `;
+    }
+};
+BatchInput = __decorate([
+    customElement("p-batch-input")
+], BatchInput);
+export { BatchInput };
+//# sourceMappingURL=BatchInput.js.map

package/dist/frontend/components/input/BatchInput.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"BatchInput.js","sourceRoot":"","sources":["../../../../src/frontend/components/input/BatchInput.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,GAAG,EAAa,IAAI,EAAkB,MAAM,KAAK,CAAC;AAC3D,OAAO,iCAAiC,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAG5C,IAAM,UAAU,GAAhB,MAAM,UAAW,SAAQ,cAAc;IAC1C,MAAM,KAAK,MAAM;QACb,OAAO,GAAG,CAAA;;;;;;;SAOT,CAAC;IACN,CAAC;IAED,IAAI,SAAS;QACT,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;YACtF,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC;QACjD,CAAC;QACD,OAAO,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;IACzC,CAAC;IAED,IAAI,WAAW;QACX,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC;YACzB,OAAO,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC;QAClC,CAAC;QACD,OAAO,IAAI,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC;IACrD,CAAC;IAEkB,MAAM;QACrB,OAAO,IAAI,CAAA;;yBAEM,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,WAAW;6BACvB,IAAI,CAAC,SAAS;4BACf,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK;+BACzE,IAAI,CAAC,WAAW;gCACf,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,YAAY,CAAC;yBACtD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,eAAe;0BACrC,CAAC,CAAc,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC;;SAE7E,CAAC;IACN,CAAC;CACJ,CAAA;AAvCY,UAAU;IADtB,aAAa,CAAC,eAAe,CAAC;GAClB,UAAU,CAuCtB"}

package/dist/frontend/components/input/InteractiveInput.d.ts

@@ -0,0 +1,13 @@
+import { Ref } from "lit/directives/ref.js";
+import { CSSResult, PropertyValues, TemplateResult } from "lit";
+import { PapyrosElement } from "../PapyrosElement";
+import "@material/web/textfield/outlined-text-field";
+import "@material/web/button/outlined-button";
+export declare class InteractiveInput extends PapyrosElement {
+    value: string;
+    inputRef: Ref<HTMLInputElement>;
+    static get styles(): CSSResult;
+    provideInput(): void;
+    protected updated(_changedProperties: PropertyValues): void;
+    protected render(): TemplateResult;
+}

package/dist/frontend/components/input/InteractiveInput.js

@@ -0,0 +1,71 @@
+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 { createRef, ref } from "lit/directives/ref.js";
+import { css, html } from "lit";
+import { PapyrosElement } from "../PapyrosElement";
+import "@material/web/textfield/outlined-text-field";
+import "@material/web/button/outlined-button";
+let InteractiveInput = class InteractiveInput extends PapyrosElement {
+    constructor() {
+        super(...arguments);
+        this.value = "";
+        this.inputRef = createRef();
+    }
+    static get styles() {
+        return css `
+            :host {
+                width: 100%;
+                display: flex;
+                gap: 0.5rem;
+            }
+
+            md-outlined-text-field {
+                flex-grow: 1;
+            }
+        `;
+    }
+    provideInput() {
+        this.papyros.io.provideInput(this.value);
+        this.value = "";
+    }
+    updated(_changedProperties) {
+        super.updated(_changedProperties);
+        if (this.papyros.io.awaitingInput) {
+            this.inputRef.value.focus();
+        }
+    }
+    render() {
+        return html `
+            <md-outlined-text-field
+                type="text"
+                .value=${this.value}
+                @input=${(e) => (this.value = e.target.value)}
+                @keydown=${(e) => {
+            if (e.key === "Enter") {
+                e.preventDefault();
+                this.provideInput();
+            }
+        }}
+                placeholder=${this.papyros.io.prompt || this.t("Papyros.input_placeholder.interactive")}
+                ?disabled=${!this.papyros.io.awaitingInput}
+                ${ref(this.inputRef)}
+            ></md-outlined-text-field>
+            <md-outlined-button @click=${() => this.provideInput()} ?disabled=${!this.papyros.io.awaitingInput}>
+                ${this.t("Papyros.enter")}
+            </md-outlined-button>
+        `;
+    }
+};
+__decorate([
+    property({ state: true })
+], InteractiveInput.prototype, "value", void 0);
+InteractiveInput = __decorate([
+    customElement("p-interactive-input")
+], InteractiveInput);
+export { InteractiveInput };
+//# sourceMappingURL=InteractiveInput.js.map

package/dist/frontend/components/input/InteractiveInput.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"InteractiveInput.js","sourceRoot":"","sources":["../../../../src/frontend/components/input/InteractiveInput.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAO,GAAG,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,GAAG,EAAa,IAAI,EAAkC,MAAM,KAAK,CAAC;AAC3E,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,6CAA6C,CAAC;AACrD,OAAO,sCAAsC,CAAC;AAGvC,IAAM,gBAAgB,GAAtB,MAAM,gBAAiB,SAAQ,cAAc;IAA7C;;QACwB,UAAK,GAAW,EAAE,CAAC;QAC9C,aAAQ,GAA0B,SAAS,EAAE,CAAC;IAiDlD,CAAC;IA/CG,MAAM,KAAK,MAAM;QACb,OAAO,GAAG,CAAA;;;;;;;;;;SAUT,CAAC;IACN,CAAC;IAED,YAAY;QACR,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;IACpB,CAAC;IAEkB,OAAO,CAAC,kBAAkC;QACzD,KAAK,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;QAClC,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC;YAChC,IAAI,CAAC,QAAQ,CAAC,KAAM,CAAC,KAAK,EAAE,CAAC;QACjC,CAAC;IACL,CAAC;IAEkB,MAAM;QACrB,OAAO,IAAI,CAAA;;;yBAGM,IAAI,CAAC,KAAK;yBACV,CAAC,CAAQ,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,GAAI,CAAC,CAAC,MAA2B,CAAC,KAAK,CAAC;2BAC/D,CAAC,CAAgB,EAAE,EAAE;YAC5B,IAAI,CAAC,CAAC,GAAG,KAAK,OAAO,EAAE,CAAC;gBACpB,CAAC,CAAC,cAAc,EAAE,CAAC;gBACnB,IAAI,CAAC,YAAY,EAAE,CAAC;YACxB,CAAC;QACL,CAAC;8BACa,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,uCAAuC,CAAC;4BAC3E,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,aAAa;kBACxC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC;;yCAEK,GAAG,EAAE,CAAC,IAAI,CAAC,YAAY,EAAE,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,aAAa;kBAC5F,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC;;SAEhC,CAAC;IACN,CAAC;CACJ,CAAA;AAlD8B;IAA1B,QAAQ,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;+CAAoB;AADrC,gBAAgB;IAD5B,aAAa,CAAC,qBAAqB,CAAC;GACxB,gBAAgB,CAmD5B"}

package/dist/frontend/state/Constants.d.ts

@@ -0,0 +1,38 @@
+import { State } from "@dodona/lit-state";
+import { CSSResult } from "lit";
+import { Extension } from "@codemirror/state";
+export type ThemeOption = {
+    theme: CSSResult;
+    dark: boolean;
+    name: string;
+};
+export declare class Constants extends State {
+    /**
+     * The maximum length of the output (in lines).
+     * Default is 1000 lines.
+     * If the output exceeds this length, it will be truncated.
+     * Overflowing output will be downloadable.
+     */
+    maxOutputLength: number;
+    /**
+     * The maximum number of debug frames
+     * Default is 10000 frames.
+     * If the number of frames exceeds this limit, execution will be stopped.
+     */
+    maxDebugFrames: number;
+    icons: {
+        debug: import("lit-html").TemplateResult<1>;
+        run: import("lit-html").TemplateResult<1>;
+        doctest: import("lit-html").TemplateResult<1>;
+        stop: import("lit-html").TemplateResult<1>;
+        stopDebug: import("lit-html").TemplateResult<1>;
+        info: import("lit-html").TemplateResult<1>;
+        help: import("lit-html").TemplateResult<1>;
+    };
+    indentationSize: number;
+    CodeMirrorTheme: Extension;
+    themes: Record<string, ThemeOption>;
+    private _activeThemeName;
+    get activeTheme(): ThemeOption;
+    set activeTheme(value: ThemeOption);
+}

package/dist/frontend/state/Constants.js

@@ -0,0 +1,111 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+import { State, stateProperty } from "@dodona/lit-state";
+import { RunMode } from "../../backend/Backend";
+import { html } from "lit";
+import { material } from "../components/code_mirror/MaterialTheme";
+import blueLight from "./themes/blue-light";
+import blueDark from "./themes/blue-dark";
+import greenLight from "./themes/green-light";
+import greenDark from "./themes/green-dark";
+import redLight from "./themes/red-light";
+import redDark from "./themes/red-dark";
+export class Constants extends State {
+    constructor() {
+        super(...arguments);
+        /**
+         * The maximum length of the output (in lines).
+         * Default is 1000 lines.
+         * If the output exceeds this length, it will be truncated.
+         * Overflowing output will be downloadable.
+         */
+        this.maxOutputLength = 1000;
+        /**
+         * The maximum number of debug frames
+         * Default is 10000 frames.
+         * If the number of frames exceeds this limit, execution will be stopped.
+         */
+        this.maxDebugFrames = 10000;
+        this.icons = {
+            [RunMode.Debug]: html ` <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="currentColor">
+            <path
+                d="M19 7H16.19C15.74 6.2 15.12 5.5 14.37 5L16 3.41L14.59 2L12.42 4.17C11.96 4.06 11.5 4 11 4S10.05 4.06 9.59 4.17L7.41 2L6 3.41L7.62 5C6.87 5.5 6.26 6.21 5.81 7H3V9H5.09C5.03 9.33 5 9.66 5 10V11H3V13H5V14C5 14.34 5.03 14.67 5.09 15H3V17H5.81C7.26 19.5 10.28 20.61 13 19.65V19C13 18.43 13.09 17.86 13.25 17.31C12.59 17.76 11.8 18 11 18C8.79 18 7 16.21 7 14V10C7 7.79 8.79 6 11 6S15 7.79 15 10V14C15 14.19 15 14.39 14.95 14.58C15.54 14.04 16.24 13.62 17 13.35V13H19V11H17V10C17 9.66 16.97 9.33 16.91 9H19V7M13 9V11H9V9H13M13 13V15H9V13H13M17 16V22L22 19L17 16Z"
+            />
+        </svg>`,
+            [RunMode.Run]: html ` <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="currentColor">
+            <path d="M8,5.14V19.14L19,12.14L8,5.14Z" />
+        </svg>`,
+            [RunMode.Doctest]: html ` <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="currentColor">
+            <path d="M8,5.14V19.14L19,12.14L8,5.14Z" />
+        </svg>`,
+            stop: html ` <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="currentColor">
+            <path d="M18,18H6V6H18V18Z" />
+        </svg>`,
+            stopDebug: html ` <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="currentColor">
+            <path
+                d="M19 7H16.19C15.74 6.2 15.12 5.5 14.37 5L16 3.41L14.59 2L12.42 4.17C11.96 4.06 11.5 4 11 4S10.05 4.06 9.59 4.17L7.41 2L6 3.41L7.62 5C6.87 5.5 6.26 6.21 5.81 7H3V9H5.09C5.03 9.33 5 9.66 5 10V11H3V13H5V14C5 14.34 5.03 14.67 5.09 15H3V17H5.81C7.26 19.5 10.28 20.61 13 19.65V19C13 18.43 13.09 17.86 13.25 17.31C12.59 17.76 11.8 18 11 18C8.79 18 7 16.21 7 14V10C7 7.79 8.79 6 11 6S15 7.79 15 10V14C15 14.19 15 14.39 14.95 14.58C15.54 14.04 16.24 13.62 17 13.35V13H19V11H17V10C17 9.66 16.97 9.33 16.91 9H19V7M13 9V11H9V9H13M13 13V15H9V13H13M16 16H22V22H16V16Z"
+            />
+        </svg>`,
+            info: html `
+            <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 -960 960 960" fill="currentColor">
+                <path
+                    d="M440-280h80v-240h-80v240Zm40-320q17 0 28.5-11.5T520-640q0-17-11.5-28.5T480-680q-17 0-28.5 11.5T440-640q0 17 11.5 28.5T480-600Zm0 520q-83 0-156-31.5T197-197q-54-54-85.5-127T80-480q0-83 31.5-156T197-763q54-54 127-85.5T480-880q83 0 156 31.5T763-763q54 54 85.5 127T880-480q0 83-31.5 156T763-197q-54 54-127 85.5T480-80Zm0-80q134 0 227-93t93-227q0-134-93-227t-227-93q-134 0-227 93t-93 227q0 134 93 227t227 93Zm0-320Z"
+                />
+            </svg>
+        `,
+            help: html `
+            <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 -960 960 960" fill="currentColor">
+                <path
+                    d="M478-240q21 0 35.5-14.5T528-290q0-21-14.5-35.5T478-340q-21 0-35.5 14.5T428-290q0 21 14.5 35.5T478-240Zm-36-154h74q0-33 7.5-52t42.5-52q26-26 41-49.5t15-56.5q0-56-41-86t-97-30q-57 0-92.5 30T342-618l66 26q5-18 22.5-39t53.5-21q32 0 48 17.5t16 38.5q0 20-12 37.5T506-526q-44 39-54 59t-10 73Zm38 314q-83 0-156-31.5T197-197q-54-54-85.5-127T80-480q0-83 31.5-156T197-763q54-54 127-85.5T480-880q83 0 156 31.5T763-763q54 54 85.5 127T880-480q0 83-31.5 156T763-197q-54 54-127 85.5T480-80Zm0-80q134 0 227-93t93-227q0-134-93-227t-227-93q-134 0-227 93t-93 227q0 134 93 227t227 93Zm0-320Z"
+                />
+            </svg>
+        `,
+        };
+        this.indentationSize = 4;
+        this.CodeMirrorTheme = material;
+        this.themes = {
+            "Blue Light": { theme: blueLight, dark: false, name: "Blue Light" },
+            "Blue Dark": { theme: blueDark, dark: true, name: "Blue Dark" },
+            "Green Light": { theme: greenLight, dark: false, name: "Green Light" },
+            "Green Dark": { theme: greenDark, dark: true, name: "Green Dark" },
+            "Red Light": { theme: redLight, dark: false, name: "Red Light" },
+            "Red Dark": { theme: redDark, dark: true, name: "Red Dark" },
+        };
+        this._activeThemeName = "Blue Light";
+    }
+    get activeTheme() {
+        return this.themes[this._activeThemeName];
+    }
+    set activeTheme(value) {
+        this._activeThemeName = value.name;
+    }
+}
+__decorate([
+    stateProperty
+], Constants.prototype, "maxOutputLength", void 0);
+__decorate([
+    stateProperty
+], Constants.prototype, "maxDebugFrames", void 0);
+__decorate([
+    stateProperty
+], Constants.prototype, "icons", void 0);
+__decorate([
+    stateProperty
+], Constants.prototype, "indentationSize", void 0);
+__decorate([
+    stateProperty
+], Constants.prototype, "CodeMirrorTheme", void 0);
+__decorate([
+    stateProperty
+], Constants.prototype, "themes", void 0);
+__decorate([
+    stateProperty
+], Constants.prototype, "_activeThemeName", void 0);
+__decorate([
+    stateProperty
+], Constants.prototype, "activeTheme", null);
+//# sourceMappingURL=Constants.js.map