@dodona/papyros 0.4.1 → 0.4.2

package/dist/Papyros.d.ts

@@ -1,5 +1,5 @@
 import "./Papyros.css";
-import { InputMode } from "./InputManager";
+import { InputManagerRenderOptions, InputMode } from "./InputManager";
 import { ProgrammingLanguage } from "./ProgrammingLanguage";
 import { RunState, CodeRunner } from "./CodeRunner";
 import { AtomicsChannelOptions, ServiceWorkerChannelOptions } from "sync-message";
@@ -54,7 +54,7 @@ export interface PapyrosRenderOptions {
     /**
      * RenderOptions for the input field
      */
-    inputOptions?: RenderOptions;
+    inputOptions?: InputManagerRenderOptions;
     /**
      * RenderOptions for the output field
      */

package/dist/editor/CodeMirrorEditor.d.ts

@@ -116,9 +116,9 @@ export declare abstract class CodeMirrorEditor extends Renderable {
     setDarkMode(darkMode: boolean): void;
     /**
      * Override the style used by this Editor
-     * @param {any} styling Object with keys of EditorStyling to override styles
+     * @param {Partial<EditorStyling>} styling Object with keys of EditorStyling to override styles
      */
-    setStyling(styling: any): void;
+    setStyling(styling: Partial<EditorStyling>): void;
     protected _render(options: RenderOptions): void;
     /**
      * Process the changes by informing the listeners of the new contents

package/dist/input/BatchInputHandler.d.ts

@@ -1,6 +1,5 @@
-import { InputMode } from "../InputManager";
+import { InputManagerRenderOptions, InputMode } from "../InputManager";
 import { UserInputHandler } from "./UserInputHandler";
-import { RenderOptions } from "../util/Rendering";
 import { BatchInputEditor } from "../editor/BatchInputEditor";
 export declare class BatchInputHandler extends UserInputHandler {
     /**
@@ -45,5 +44,5 @@ export declare class BatchInputHandler extends UserInputHandler {
     waitWithPrompt(waiting: boolean, prompt?: string): void;
     protected setPlaceholder(placeholderValue: string): void;
     focus(): void;
-    protected _render(options: RenderOptions): void;
+    protected _render(options: InputManagerRenderOptions): void;
 }

package/dist/input/InteractiveInputHandler.d.ts

@@ -9,12 +9,19 @@ export declare class InteractiveInputHandler extends UserInputHandler {
      * Retrieve the button that users can click to send their input
      */
     private get sendButton();
+    /**
+     * Retrieve the HTMLInputElement for this InputHandler
+     */
+    private get inputArea();
     getInputMode(): InputMode;
     hasNext(): boolean;
     next(): string;
     waitWithPrompt(waiting: boolean, prompt?: string): void;
+    protected setPlaceholder(placeholder: string): void;
+    focus(): void;
     toggle(): void;
     onRunStart(): void;
     onRunEnd(): void;
     protected _render(options: RenderOptions): void;
+    protected reset(): void;
 }

package/dist/input/UserInputHandler.d.ts

@@ -1,13 +1,16 @@
-import { InputMode } from "../InputManager";
+import { InputManagerRenderOptions, InputMode } from "../InputManager";
 import { Renderable } from "../util/Rendering";
 /**
  * Base class for components that handle input from the user
  */
-export declare abstract class UserInputHandler extends Renderable {
+export declare abstract class UserInputHandler extends Renderable<InputManagerRenderOptions> {
     /**
      * Whether we are waiting for the user to input data
      */
     protected waiting: boolean;
+    /**
+     * Function to call when the user provided new input
+     */
     protected inputCallback: () => void;
     /**
      * Construct a new UserInputHandler
@@ -44,18 +47,14 @@ export declare abstract class UserInputHandler extends Renderable {
      * @param {boolean} active Whether this component is active
      */
     abstract toggle(active: boolean): void;
-    /**
-     * Retrieve the HTMLInputElement for this InputHandler
-     */
-    get inputArea(): HTMLInputElement;
     /**
      * @param {string} placeholder The placeholder to show
      */
-    protected setPlaceholder(placeholder: string): void;
+    protected abstract setPlaceholder(placeholder: string): void;
     /**
      * Focus the area in which the user enters input
      */
-    focus(): void;
+    abstract focus(): void;
     /**
      * Wait for input of the user for a certain prompt
      * @param {boolean} waiting Whether we are waiting for input

package/package.json

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