@dodona/papyros 0.4.2 → 0.4.4

package/dist/editor/BatchInputEditor.d.ts

@@ -15,10 +15,11 @@ export declare class BatchInputEditor extends CodeMirrorEditor {
     constructor();
     /**
      * 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)
      */
-    highlight(getInfo: (lineNr: number) => UsedInputGutterInfo): void;
+    highlight(disable: boolean, getInfo: (lineNr: number) => UsedInputGutterInfo): void;
     /**
      * @return {Array<string>} Array of valid user input
      * Data in the last line that is not terminated by a newline is omitted

package/dist/editor/CodeMirrorEditor.d.ts

@@ -62,6 +62,7 @@ export declare abstract class CodeMirrorEditor extends Renderable {
     static STYLE: string;
     static PLACEHOLDER: string;
     static THEME: string;
+    static LANGUAGE: string;
     /**
      * CodeMirror EditorView representing the internal editor
      */

package/dist/editor/Gutters.d.ts

@@ -59,6 +59,11 @@ export declare abstract class Gutters<Info extends GutterInfo = GutterInfo, Conf
      * @param {Info} info Info used to render the marker
      */
     setMarker(view: EditorView, info: Info): void;
+    /**
+     * @param {EditorView} view The view in which the Gutters live
+     * @return {Set<number>} The 1-based line numbers with a breakpoint
+     */
+    getMarkedLines(view: EditorView): Set<number>;
     /**
      * @return {Extension} The Gutters as a CodeMirror Extension
      */
@@ -70,11 +75,6 @@ export declare abstract class Gutters<Info extends GutterInfo = GutterInfo, Conf
 export declare class BreakpointsGutter extends Gutters {
     constructor();
     protected marker(): GutterMarker;
-    /**
-     * @param {EditorView} view The view in which the Gutters live
-     * @return {Set<number>} The 1-based line numbers with a breakpoint
-     */
-    getBreakpoints(view: EditorView): Set<number>;
 }
 /**
  * Extra data used to represent input gutters

package/dist/input/BatchInputHandler.d.ts

@@ -10,6 +10,10 @@ export declare class BatchInputHandler extends UserInputHandler {
      * Messages used when asking for user input
      */
     private prompts;
+    /**
+     * Whether a run is occurring
+     */
+    private running;
     /**
      * Editor containing the input of the user
      */

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@dodona/papyros",
-  "version": "0.4.2",
+  "version": "0.4.4",
   "private": false,
   "homepage": ".",
   "devDependencies": {