@dodona/papyros 1.0.0 → 2.0.0-beta.0

package/dist/editor/DarkTheme.js

@@ -0,0 +1,73 @@
+// 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 },
+    // eslint-disable-next-line max-len
+    "&.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

@@ -0,0 +1 @@
+{"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;IACzD,mCAAmC;IACnC,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/Gutters.js

@@ -0,0 +1,162 @@
+import { StateField } from "@codemirror/state";
+import { StateEffect } from "@codemirror/state";
+import { gutter, GutterMarker } from "@codemirror/view";
+import { EditorView } from "@codemirror/view";
+import { appendClasses } from "../util/Rendering";
+/**
+ * Helper class to create markers in the gutter
+ */
+class SimpleMarker extends GutterMarker {
+    constructor(
+    // Function to create the DOM element
+    createMarker) {
+        super();
+        this.createMarker = createMarker;
+    }
+    toDOM() {
+        return this.createMarker();
+    }
+}
+export class Gutters {
+    constructor(config) {
+        this.config = config;
+        this.effect = StateEffect.define();
+        this.state = StateField.define({
+            create: () => {
+                return new Map();
+            },
+            update: (current, transaction) => {
+                const updatedMap = new Map(current);
+                for (const e of transaction.effects) {
+                    if (e.is(this.effect)) {
+                        updatedMap.set(e.value.lineNr, e.value);
+                    }
+                }
+                return updatedMap;
+            }
+        });
+    }
+    applyClasses(marker) {
+        const classes = { classNames: this.config.markerClasses };
+        appendClasses(classes, "_tw-px-1 papyros-gutter-marker");
+        marker.elementClass += classes.classNames;
+        return marker;
+    }
+    hasMarker(view, lineNr) {
+        const guttersInfo = view.state.field(this.state);
+        return guttersInfo.has(lineNr) && guttersInfo.get(lineNr).on;
+    }
+    /**
+     * 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, info) {
+        if (this.hasMarker(view, info.lineNr) !== info.on) {
+            view.dispatch({
+                effects: this.effect.of(info)
+            });
+        }
+    }
+    /**
+     * @param {EditorView} view The view in which the Gutters live
+     * @return {Set<number>} The 1-based line numbers with a breakpoint
+     */
+    getMarkedLines(view) {
+        const markedLines = new Set();
+        const guttersInfo = view.state.field(this.state);
+        guttersInfo.forEach((info, lineNr) => {
+            if (info.on) {
+                markedLines.add(lineNr);
+            }
+        });
+        return markedLines;
+    }
+    /**
+     * @return {Extension} The Gutters as a CodeMirror Extension
+     */
+    toExtension() {
+        // TODO correct type: https://github.com/codemirror/codemirror.next/issues/839
+        const handlers = {};
+        if (this.config.onClick) {
+            handlers["mousedown"] = (view, line) => {
+                const markings = view.state.field(this.state);
+                const lineNr = view.state.doc.lineAt(line.from).number;
+                const markerInfo = markings.get(lineNr);
+                // Line numbers start at 1
+                this.config.onClick(view, markerInfo);
+            };
+        }
+        return [
+            this.state,
+            gutter({
+                class: `cm-${this.config.name}-gutter`,
+                lineMarker: (view, line) => {
+                    // Lookup whether the element should be drawn
+                    const guttersInfo = view.state.field(this.state);
+                    const lineNr = view.state.doc.lineAt(line.from).number;
+                    if (guttersInfo.has(lineNr) && guttersInfo.get(lineNr).on) {
+                        return this.applyClasses(this.marker(guttersInfo.get(lineNr)));
+                    }
+                    else {
+                        return null;
+                    }
+                },
+                lineMarkerChange: update => {
+                    return update.startState.field(this.state) !== update.state.field(this.state);
+                },
+                initialSpacer: () => {
+                    return this.applyClasses(this.marker({ lineNr: -1, on: true }));
+                },
+                domEventHandlers: handlers
+            }),
+            this.config.extraExtensions || []
+        ];
+    }
+}
+/**
+ * Gutters to show and allow toggling of breakpoints
+ */
+export class BreakpointsGutter extends Gutters {
+    constructor() {
+        super({
+            name: "breakpoint",
+            onClick: (view, info) => {
+                info.on = !info.on;
+                this.setMarker(view, info);
+            },
+            extraExtensions: [
+                EditorView.baseTheme({
+                    ".cm-breakpoint-gutter .cm-gutterElement": {
+                        color: "red",
+                        paddingLeft: "5px",
+                        cursor: "default"
+                    }
+                })
+            ]
+        });
+    }
+    marker() {
+        return new SimpleMarker(() => document.createTextNode("🔴"));
+    }
+}
+/**
+ * Gutters to show a checkmark for used input
+ */
+export class UsedInputGutters extends Gutters {
+    constructor() {
+        super({
+            name: "input"
+        });
+    }
+    marker(info) {
+        return new SimpleMarker(() => {
+            const node = document.createElement("div");
+            node.replaceChildren(document.createTextNode("✔"));
+            node.setAttribute("title", info.title);
+            // Text interface tells us that more complex node will be processed into Text nodes
+            return node;
+        });
+    }
+}
+//# sourceMappingURL=Gutters.js.map

package/dist/editor/Gutters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Gutters.js","sourceRoot":"","sources":["../../src/editor/Gutters.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAChE,OAAO,EAAa,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,EAAa,MAAM,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAElD;;GAEG;AACH,MAAM,YAAa,SAAQ,YAAY;IACnC;IACI,qCAAqC;IAC7B,YAAwB;QAEhC,KAAK,EAAE,CAAC;QAFA,iBAAY,GAAZ,YAAY,CAAY;IAGpC,CAAC;IACe,KAAK;QACjB,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC;IAC/B,CAAC;CACJ;AAmCD,MAAM,OAAgB,OAAO;IAkBzB,YAAY,MAAc;QACtB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,EAAQ,CAAC;QACzC,IAAI,CAAC,KAAK,GAAG,UAAU,CAAC,MAAM,CAA0B;YACpD,MAAM,EAAE,GAAG,EAAE;gBACT,OAAO,IAAI,GAAG,EAAE,CAAC;YACrB,CAAC;YACD,MAAM,EAAE,CAAC,OAAO,EAAE,WAAW,EAAE,EAAE;gBAC7B,MAAM,UAAU,GAA4B,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;gBAC7D,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;oBAClC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;wBACpB,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;oBAC5C,CAAC;gBACL,CAAC;gBACD,OAAO,UAAU,CAAC;YACtB,CAAC;SACJ,CAAC,CAAC;IACP,CAAC;IASO,YAAY,CAAC,MAAoB;QACrC,MAAM,OAAO,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;QAC1D,aAAa,CAAC,OAAO,EAAE,gCAAgC,CAAC,CAAC;QACzD,MAAM,CAAC,YAAY,IAAI,OAAO,CAAC,UAAU,CAAC;QAC1C,OAAO,MAAM,CAAC;IAClB,CAAC;IAEM,SAAS,CAAC,IAAgB,EAAE,MAAc;QAC7C,MAAM,WAAW,GAA4B,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1E,OAAO,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,EAAE,CAAC;IAClE,CAAC;IAED;;;;OAIG;IACI,SAAS,CAAC,IAAgB,EAAE,IAAU;QACzC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC;YAChD,IAAI,CAAC,QAAQ,CAAC;gBACV,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC;aAChC,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED;;;OAGG;IACI,cAAc,CAAC,IAAgB;QAClC,MAAM,WAAW,GAAgB,IAAI,GAAG,EAAE,CAAC;QAC3C,MAAM,WAAW,GAA4B,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1E,WAAW,CAAC,OAAO,CAAC,CAAC,IAAgB,EAAE,MAAc,EAAE,EAAE;YACrD,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;gBACV,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC5B,CAAC;QACL,CAAC,CAAC,CAAC;QACH,OAAO,WAAW,CAAC;IACvB,CAAC;IAED;;OAEG;IACH,WAAW;QACP,8EAA8E;QAC9E,MAAM,QAAQ,GAAQ,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACtB,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,IAAgB,EAAE,IAAe,EAAE,EAAE;gBAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;gBACvD,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;gBACzC,0BAA0B;gBAC1B,IAAI,CAAC,MAAM,CAAC,OAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YAC3C,CAAC,CAAC;QACN,CAAC;QACD,OAAO;YACH,IAAI,CAAC,KAAK;YACV,MAAM,CAAC;gBACH,KAAK,EAAE,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,SAAS;gBACtC,UAAU,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE;oBACvB,6CAA6C;oBAC7C,MAAM,WAAW,GAAsB,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBACpE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;oBACvD,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,EAAE,EAAE,CAAC;wBACzD,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,CAAC,CAAC;oBACpE,CAAC;yBAAM,CAAC;wBACJ,OAAO,IAAI,CAAC;oBAChB,CAAC;gBACL,CAAC;gBACD,gBAAgB,EAAE,MAAM,CAAC,EAAE;oBACvB,OAAO,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAClF,CAAC;gBACD,aAAa,EAAE,GAAG,EAAE;oBAChB,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAU,CAAE,CAAC,CAAC;gBAC7E,CAAC;gBACD,gBAAgB,EAAE,QAAQ;aAC7B,CAAC;YACF,IAAI,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE;SACpC,CAAC;IACN,CAAC;CACJ;AAED;;GAEG;AACH,MAAM,OAAO,iBAAkB,SAAQ,OAAO;IAC1C;QACI,KAAK,CAAC;YACF,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE,CAAC,IAAgB,EAAE,IAAgB,EAAE,EAAE;gBAC5C,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnB,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC/B,CAAC;YACD,eAAe,EAAE;gBACb,UAAU,CAAC,SAAS,CAAC;oBACjB,yCAAyC,EAAE;wBACvC,KAAK,EAAE,KAAK;wBACZ,WAAW,EAAE,KAAK;wBAClB,MAAM,EAAE,SAAS;qBACpB;iBACJ,CAAC;aACL;SACJ,CAAC,CAAC;IACP,CAAC;IAEkB,MAAM;QACrB,OAAO,IAAI,YAAY,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;IACjE,CAAC;CACJ;AAWD;;GAEG;AACH,MAAM,OAAO,gBAAiB,SAAQ,OAA4B;IAC9D;QACI,KAAK,CAAC;YACF,IAAI,EAAE,OAAO;SAChB,CAAC,CAAC;IACP,CAAC;IAEkB,MAAM,CAAC,IAAyB;QAC/C,OAAO,IAAI,YAAY,CAAC,GAAG,EAAE;YACzB,MAAM,IAAI,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YAC3C,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;YACnD,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACvC,mFAAmF;YACnF,OAAO,IAAmB,CAAC;QAC/B,CAAC,CAAC,CAAC;IACP,CAAC;CACJ"}

package/dist/examples/Examples.js

@@ -0,0 +1,23 @@
+import { ProgrammingLanguage } from "../ProgrammingLanguage";
+import { JAVASCRIPT_EXAMPLES } from "./JavaScriptExamples";
+import { PYTHON_EXAMPLES } from "./PythonExamples";
+const EXAMPLES_MAP = new Map([
+    [ProgrammingLanguage.JavaScript, JAVASCRIPT_EXAMPLES],
+    // Hello, World! as key seems to cause issues for TypeScript
+    [ProgrammingLanguage.Python, PYTHON_EXAMPLES]
+]);
+export function getExamples(language) {
+    if (EXAMPLES_MAP.has(language)) {
+        return EXAMPLES_MAP.get(language);
+    }
+    else {
+        return {};
+    }
+}
+export function getExampleNames(language) {
+    return Object.keys(getExamples(language));
+}
+export function getCodeForExample(language, name) {
+    return getExamples(language)[name];
+}
+//# sourceMappingURL=Examples.js.map

package/dist/examples/Examples.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Examples.js","sourceRoot":"","sources":["../../src/examples/Examples.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAMnD,MAAM,YAAY,GAAuC,IAAI,GAAG,CAAC;IAC7D,CAAC,mBAAmB,CAAC,UAAU,EAAE,mBAAmB,CAAC;IACrD,4DAA4D;IAC5D,CAAC,mBAAmB,CAAC,MAAM,EAAE,eAA2B,CAAC;CAC5D,CAAC,CAAC;AAEH,MAAM,UAAU,WAAW,CAAC,QAA6B;IACrD,IAAI,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,OAAO,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC;IACvC,CAAC;SAAM,CAAC;QACJ,OAAO,EAAE,CAAC;IACd,CAAC;AACL,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,QAA6B;IACzD,OAAO,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,QAA6B,EAAE,IAAY;IACzE,OAAO,WAAW,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC;AACvC,CAAC"}

package/dist/examples/JavaScriptExamples.js

@@ -0,0 +1,16 @@
+export const JAVASCRIPT_EXAMPLES = {
+    "Hello world!": "console.log(\"Hello, World!\");",
+    "Input": `const name = prompt('What is your name?')
+console.log(\`Hello, \${name}!\`)`,
+    "Fibonacci": `function fibonacci(n){
+    if (n <= 1) {
+        return n;
+    }
+    return fibonacci(n - 2) + fibonacci(n - 1);
+}
+for(let i = 0; i < 10; i += 1){
+    console.log(fibonacci(i));
+}
+`
+};
+//# sourceMappingURL=JavaScriptExamples.js.map

package/dist/examples/JavaScriptExamples.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"JavaScriptExamples.js","sourceRoot":"","sources":["../../src/examples/JavaScriptExamples.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,mBAAmB,GAAG;IAC/B,cAAc,EAAE,iCAAiC;IACjD,OAAO,EACH;kCAC0B;IAC9B,WAAW,EACP;;;;;;;;;CASP;CACA,CAAC"}

package/dist/examples/PythonExamples.js

@@ -0,0 +1,163 @@
+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/examples/PythonExamples.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"PythonExamples.js","sourceRoot":"","sources":["../../src/examples/PythonExamples.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,eAAe,GAAG;IAC3B,eAAe,EAAE,wBAAwB;IACzC,OAAO,EACH;yBACiB;IACrB,WAAW,EACP;;;yCAGiC;IACrC,UAAU,EACN;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiDP;IACG,OAAO,EACH;;;;;;;;;;;;;;;CAeP;IACG,WAAW,EACP;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA+BP;IACG,SAAS,EACL;;;;CAIP;IACG,OAAO,EACH;;;;;;;CAOP;IACG,YAAY,EACR;;;;;;;;;;;;;;;;;;CAkBP;IACG,OAAO,EAAE;;;;;;;;CAQZ;IACG,UAAU,EAAE;;;;;;;;CAQf;IACG,WAAW,EAAE;;;;CAIhB;CACA,CAAC"}

package/dist/input/BatchInputHandler.js

@@ -0,0 +1,112 @@
+import { InputMode } from "../InputManager";
+import { UserInputHandler } from "./UserInputHandler";
+import { t } from "../util/Util";
+import { BatchInputEditor } from "../editor/BatchInputEditor";
+export class BatchInputHandler extends UserInputHandler {
+    /**
+     * Construct a new BatchInputHandler
+     * @param {function()} inputCallback  Callback for when the user has entered a value
+     */
+    constructor(inputCallback) {
+        super(inputCallback);
+        this.lineNr = 0;
+        this.previousInput = "";
+        this.running = false;
+        this.prompts = [];
+        this.batchEditor = new BatchInputEditor();
+        this.batchEditor.onChange({
+            onChange: this.handleInputChanged.bind(this),
+            delay: 0
+        });
+    }
+    /**
+     * Handle new input, potentially sending it to the awaiting receiver
+     * @param {string} newInput The new user input
+     */
+    handleInputChanged(newInput) {
+        const newLines = newInput ? newInput.split("\n") : [];
+        if (newLines.length < this.lineNr) {
+            this.lineNr = newLines.length;
+        }
+        if (this.waiting && newLines.length > this.lineNr + 1) {
+            // Require explicitly pressing enter
+            this.inputCallback(this.next());
+        }
+        this.highlight(this.running);
+        this.previousInput = newInput;
+    }
+    toggle(active) {
+        if (active) {
+            this.batchEditor.setText(this.previousInput);
+        }
+        else {
+            this.previousInput = this.batchEditor.getText();
+        }
+    }
+    getInputMode() {
+        return InputMode.Batch;
+    }
+    /**
+     * Retrieve the lines of input that the user has given so far
+     * @return {Array<string>} The entered lines
+     */
+    get lines() {
+        return this.batchEditor.getLines();
+    }
+    hasNext() {
+        return this.lineNr < this.lines.length;
+    }
+    highlight(running, whichLines = (i) => i < this.lineNr) {
+        this.batchEditor.highlight({
+            running,
+            getInfo: (lineNr) => {
+                let message = t("Papyros.used_input");
+                const index = lineNr - 1;
+                const shouldShow = whichLines(index);
+                if (index < this.prompts.length && this.prompts[index]) {
+                    message = t("Papyros.used_input_with_prompt", { prompt: this.prompts[index] });
+                }
+                return { lineNr, on: shouldShow, title: message };
+            }
+        });
+    }
+    next() {
+        const nextLine = this.lines[this.lineNr];
+        this.lineNr += 1;
+        this.highlight(true);
+        return nextLine;
+    }
+    onRunStart() {
+        this.running = true;
+        this.lineNr = 0;
+        this.prompts = [];
+        this.highlight(true, () => false);
+    }
+    onRunEnd() {
+        this.running = false;
+        this.highlight(false);
+    }
+    waitWithPrompt(waiting, prompt) {
+        super.waitWithPrompt(waiting, prompt);
+        if (this.waiting) {
+            this.prompts.push(prompt || "");
+            if (this.hasNext()) {
+                this.inputCallback(this.next());
+            }
+        }
+    }
+    setPlaceholder(placeholderValue) {
+        this.batchEditor.setPlaceholder(placeholderValue);
+    }
+    focus() {
+        this.batchEditor.focus();
+    }
+    _render(options) {
+        this.batchEditor.render(options);
+        if (options.inputStyling) {
+            this.batchEditor.setStyling(options.inputStyling);
+        }
+        this.highlight(this.running);
+    }
+}
+//# sourceMappingURL=BatchInputHandler.js.map

package/dist/input/BatchInputHandler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"BatchInputHandler.js","sourceRoot":"","sources":["../../src/input/BatchInputHandler.ts"],"names":[],"mappings":"AAAA,OAAO,EAA6B,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,CAAC,EAAE,MAAM,cAAc,CAAC;AACjC,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAE9D,MAAM,OAAO,iBAAkB,SAAQ,gBAAgB;IAuBnD;;;OAGG;IACH,YAAY,aAAqC;QAC7C,KAAK,CAAC,aAAa,CAAC,CAAC;QACrB,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QAChB,IAAI,CAAC,aAAa,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC;QACrB,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QAClB,IAAI,CAAC,WAAW,GAAG,IAAI,gBAAgB,EAAE,CAAC;QAC1C,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC;YACtB,QAAQ,EAAE,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC;YAC5C,KAAK,EAAE,CAAC;SACX,CAAC,CAAC;IACP,CAAC;IAED;;;OAGG;IACK,kBAAkB,CAAC,QAAgB;QACvC,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,IAAI,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;YAChC,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;QAClC,CAAC;QACD,IAAI,IAAI,CAAC,OAAO,IAAI,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpD,oCAAoC;YACpC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACpC,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7B,IAAI,CAAC,aAAa,GAAG,QAAQ,CAAC;IAClC,CAAC;IAEe,MAAM,CAAC,MAAe;QAClC,IAAI,MAAM,EAAE,CAAC;YACT,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACjD,CAAC;aAAM,CAAC;YACJ,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;QACpD,CAAC;IACL,CAAC;IAEe,YAAY;QACxB,OAAO,SAAS,CAAC,KAAK,CAAC;IAC3B,CAAC;IAED;;;OAGG;IACH,IAAc,KAAK;QACf,OAAO,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;IACvC,CAAC;IAEe,OAAO;QACnB,OAAO,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;IAC3C,CAAC;IAEO,SAAS,CAAC,OAAgB,EAAE,aAAa,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM;QAC3E,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC;YACvB,OAAO;YACP,OAAO,EAAE,CAAC,MAAc,EAAE,EAAE;gBACxB,IAAI,OAAO,GAAG,CAAC,CAAC,oBAAoB,CAAC,CAAC;gBACtC,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,CAAC;gBACzB,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;gBACrC,IAAI,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;oBACrD,OAAO,GAAG,CAAC,CAAC,gCAAgC,EACxC,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBACzC,CAAC;gBACD,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;YACtD,CAAC;SACJ,CAAC,CAAC;IACP,CAAC;IAEe,IAAI;QAChB,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACzC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC;QACjB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACrB,OAAO,QAAQ,CAAC;IACpB,CAAC;IAEe,UAAU;QACtB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;QACpB,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QAChB,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QAClB,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC;IAEe,QAAQ;QACpB,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC;QACrB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC;IAEe,cAAc,CAAC,OAAgB,EAAE,MAAe;QAC5D,KAAK,CAAC,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACtC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;YAChC,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;gBACjB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACpC,CAAC;QACL,CAAC;IACL,CAAC;IAES,cAAc,CAAC,gBAAwB;QAC7C,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,gBAAgB,CAAC,CAAC;IACtD,CAAC;IAEM,KAAK;QACR,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;IAC7B,CAAC;IAEkB,OAAO,CAAC,OAAkC;QACzD,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACjC,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;YACvB,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QACtD,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjC,CAAC;CACJ"}