@dodona/papyros 0.4.1 → 0.4.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/CodeRunner.d.ts +2 -2
- package/dist/InputManager.d.ts +9 -2
- package/dist/Library.js +1 -1
- package/dist/Papyros.d.ts +2 -2
- package/dist/editor/CodeMirrorEditor.d.ts +2 -2
- package/dist/input/BatchInputHandler.d.ts +2 -3
- package/dist/input/InteractiveInputHandler.d.ts +7 -0
- package/dist/input/UserInputHandler.d.ts +7 -8
- package/package.json +1 -1
package/dist/CodeRunner.d.ts
CHANGED
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { CodeEditor } from "./editor/CodeEditor";
|
|
2
|
-
import { InputManager, InputMode } from "./InputManager";
|
|
2
|
+
import { InputManager, InputManagerRenderOptions, InputMode } from "./InputManager";
|
|
3
3
|
import { ProgrammingLanguage } from "./ProgrammingLanguage";
|
|
4
4
|
import { RenderOptions, ButtonOptions, Renderable } from "./util/Rendering";
|
|
5
5
|
import { OutputManager } from "./OutputManager";
|
|
@@ -11,7 +11,7 @@ interface CodeRunnerRenderOptions {
|
|
|
11
11
|
/**
|
|
12
12
|
* Options for rendering the InputManager
|
|
13
13
|
*/
|
|
14
|
-
inputOptions:
|
|
14
|
+
inputOptions: InputManagerRenderOptions;
|
|
15
15
|
/**
|
|
16
16
|
* Options for rendering the editor
|
|
17
17
|
*/
|
package/dist/InputManager.d.ts
CHANGED
|
@@ -1,11 +1,18 @@
|
|
|
1
1
|
import { UserInputHandler } from "./input/UserInputHandler";
|
|
2
2
|
import { Renderable, RenderOptions } from "./util/Rendering";
|
|
3
|
+
import { EditorStyling } from "./editor/CodeMirrorEditor";
|
|
3
4
|
export declare enum InputMode {
|
|
4
5
|
Interactive = "interactive",
|
|
5
6
|
Batch = "batch"
|
|
6
7
|
}
|
|
7
8
|
export declare const INPUT_MODES: InputMode[];
|
|
8
|
-
export
|
|
9
|
+
export interface InputManagerRenderOptions extends RenderOptions {
|
|
10
|
+
/**
|
|
11
|
+
* Option to allow styling the editor area of the input handler
|
|
12
|
+
*/
|
|
13
|
+
inputStyling?: Partial<EditorStyling>;
|
|
14
|
+
}
|
|
15
|
+
export declare class InputManager extends Renderable<InputManagerRenderOptions> {
|
|
9
16
|
private inputMode;
|
|
10
17
|
private inputHandlers;
|
|
11
18
|
private waiting;
|
|
@@ -17,7 +24,7 @@ export declare class InputManager extends Renderable {
|
|
|
17
24
|
setInputMode(inputMode: InputMode): void;
|
|
18
25
|
get inputHandler(): UserInputHandler;
|
|
19
26
|
isWaiting(): boolean;
|
|
20
|
-
protected _render(options:
|
|
27
|
+
protected _render(options: InputManagerRenderOptions): void;
|
|
21
28
|
private waitWithPrompt;
|
|
22
29
|
private onUserInput;
|
|
23
30
|
/**
|