@dodona/papyros 0.4.4 → 1.0.0
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 +7 -2
- package/dist/InputManager.d.ts +1 -0
- package/dist/Library.js +1 -1
- package/dist/Translations.d.ts +201 -0
- package/dist/editor/BatchInputEditor.d.ts +21 -8
- package/dist/editor/CodeMirrorEditor.d.ts +2 -1
- package/dist/editor/DarkTheme.d.ts +1 -0
- package/dist/editor/Gutters.d.ts +6 -0
- package/dist/examples/PythonExamples.d.ts +1 -0
- package/dist/input/BatchInputHandler.d.ts +1 -1
- package/dist/input/UserInputHandler.d.ts +2 -2
- package/package.json +20 -19
package/dist/CodeRunner.d.ts
CHANGED
|
@@ -40,9 +40,9 @@ export interface LoadingData {
|
|
|
40
40
|
*/
|
|
41
41
|
modules: Array<string>;
|
|
42
42
|
/**
|
|
43
|
-
*
|
|
43
|
+
* The status of the import
|
|
44
44
|
*/
|
|
45
|
-
|
|
45
|
+
status: "loading" | "loaded" | "failed";
|
|
46
46
|
}
|
|
47
47
|
/**
|
|
48
48
|
* Helper component to manage and visualize the current RunState
|
|
@@ -84,6 +84,10 @@ export declare class CodeRunner extends Renderable<CodeRunnerRenderOptions> {
|
|
|
84
84
|
* Previous state to restore when loading is done
|
|
85
85
|
*/
|
|
86
86
|
private previousState;
|
|
87
|
+
/**
|
|
88
|
+
* Time at which the setState call occurred
|
|
89
|
+
*/
|
|
90
|
+
private runStartTime;
|
|
87
91
|
/**
|
|
88
92
|
* Construct a new RunStateManager with the given listeners
|
|
89
93
|
* @param {ProgrammingLanguage} programmingLanguage The language to use
|
|
@@ -156,5 +160,6 @@ export declare class CodeRunner extends Renderable<CodeRunnerRenderOptions> {
|
|
|
156
160
|
* @param {BackendEvent} e The loading event
|
|
157
161
|
*/
|
|
158
162
|
private onLoad;
|
|
163
|
+
private onStart;
|
|
159
164
|
}
|
|
160
165
|
export {};
|
package/dist/InputManager.d.ts
CHANGED
|
@@ -22,6 +22,7 @@ export declare class InputManager extends Renderable<InputManagerRenderOptions>
|
|
|
22
22
|
private buildInputHandlerMap;
|
|
23
23
|
getInputMode(): InputMode;
|
|
24
24
|
setInputMode(inputMode: InputMode): void;
|
|
25
|
+
getInputHandler(inputMode: InputMode): UserInputHandler;
|
|
25
26
|
get inputHandler(): UserInputHandler;
|
|
26
27
|
isWaiting(): boolean;
|
|
27
28
|
protected _render(options: InputManagerRenderOptions): void;
|