@dodona/papyros 0.4.4 → 0.5.0

package/dist/editor/BatchInputEditor.d.ts

@@ -1,28 +1,41 @@
 import { CodeMirrorEditor } from "./CodeMirrorEditor";
 import { UsedInputGutterInfo } from "./Gutters";
+import { ViewUpdate } from "@codemirror/view";
 /**
- * Editor to handle and highlight user input
+ * Arguments used to higlight lines in the Editor
  */
-export declare class BatchInputEditor extends CodeMirrorEditor {
+interface HighlightArgs {
     /**
-     * Style classes used to highlight lines
+     * Whether the user's code is currently running and using input
      */
-    private static HIGHLIGHT_CLASSES;
+    running: boolean;
+    /**
+     * Function to obtain gutter info per line (1-based indexing)
+     */
+    getInfo: (lineInfo: number) => UsedInputGutterInfo;
+}
+/**
+ * Editor to handle and highlight user input
+ */
+export declare class BatchInputEditor extends CodeMirrorEditor {
     /**
      * Gutters to show which lines were used
      */
     private usedInputGutters;
+    private lastHighlightArgs?;
     constructor();
+    private getLastHighlightArgs;
+    protected onViewUpdate(v: ViewUpdate): void;
     /**
      * Apply highlighting to the lines in the Editor
-     * @param {boolean} disable Whether to disable editing the lines if marked
-     * @param {function(number): UsedInputGutterInfo} getInfo Function to obtain gutter
-     * info per line (1-based indexing)
+     * @param {HightlightArgs} args Arguments for highlighting
+     * @param {Array<string>} highlightClasses HTML classes to use for consumed lines
      */
-    highlight(disable: boolean, getInfo: (lineNr: number) => UsedInputGutterInfo): void;
+    highlight(args: HighlightArgs, highlightClasses?: string[]): void;
     /**
      * @return {Array<string>} Array of valid user input
      * Data in the last line that is not terminated by a newline is omitted
      */
     getLines(): Array<string>;
 }
+export {};

package/dist/editor/CodeMirrorEditor.d.ts

@@ -1,6 +1,6 @@
 /// <reference types="node" />
 import { Compartment, Extension } from "@codemirror/state";
-import { EditorView } from "@codemirror/view";
+import { EditorView, ViewUpdate } from "@codemirror/view";
 import { Renderable, RenderOptions } from "../util/Rendering";
 import { StyleSpec } from "style-mod";
 /**
@@ -84,6 +84,7 @@ export declare abstract class CodeMirrorEditor extends Renderable {
      * @param {EditorStyling} styling Data to style this editor
      */
     constructor(compartments: Set<string>, styling: EditorStyling);
+    protected onViewUpdate(v: ViewUpdate): void;
     /**
      * @param {Extension} extension The extension to add to the Editor
      */

package/dist/editor/DarkTheme.d.ts

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

package/dist/editor/Gutters.d.ts

@@ -23,6 +23,10 @@ export interface IGutterConfig<Info extends GutterInfo> {
      * Name of this Gutter
      */
     name: string;
+    /**
+     * HTML class names for the marker icons
+     */
+    markerClasses?: string;
     /**
      * Handler for when a Gutter element is clicked
      */
@@ -53,6 +57,8 @@ export declare abstract class Gutters<Info extends GutterInfo = GutterInfo, Conf
      * Will only be called when info.on is True
      */
     protected abstract marker(info: Info): GutterMarker;
+    private applyClasses;
+    hasMarker(view: EditorView, lineNr: number): boolean;
     /**
      * Set a marker with the given info
      * @param {EditorView} view View in which the Gutters live

package/dist/input/BatchInputHandler.d.ts

@@ -27,7 +27,7 @@ export declare class BatchInputHandler extends UserInputHandler {
      * Construct a new BatchInputHandler
      * @param {function()} inputCallback  Callback for when the user has entered a value
      */
-    constructor(inputCallback: () => void);
+    constructor(inputCallback: (line: string) => void);
     /**
      * Handle new input, potentially sending it to the awaiting receiver
      * @param {string} newInput The new user input

package/dist/input/UserInputHandler.d.ts

@@ -11,12 +11,12 @@ export declare abstract class UserInputHandler extends Renderable<InputManagerRe
     /**
      * Function to call when the user provided new input
      */
-    protected inputCallback: () => void;
+    protected inputCallback: (line: string) => void;
     /**
      * Construct a new UserInputHandler
      * @param {function()} inputCallback  Callback for when the user has entered a value
      */
-    constructor(inputCallback: () => void);
+    constructor(inputCallback: (line: string) => void);
     /**
      * Whether this handler has input ready
      */

package/package.json

@@ -1,8 +1,8 @@
 {
   "name": "@dodona/papyros",
-  "version": "0.4.4",
+  "version": "0.5.0",
   "private": false,
-  "homepage": ".",
+  "homepage": "https://papyros.dodona.be/",
   "devDependencies": {
     "@types/escape-html": "^1.0.1",
     "@types/i18n-js": "^3.8.2",