@dodona/papyros 0.1.43 → 0.1.51

package/dist/Constants.d.ts

@@ -16,4 +16,5 @@ export declare const DEFAULT_PROGRAMMING_LANGUAGE = ProgrammingLanguage.Python;
 export declare const EXAMPLE_SELECT_ID = "example-select";
 export declare const LOCALE_SELECT_ID = "locale-select";
 export declare const DEFAULT_LOCALE = "nl";
+export declare const DEFAULT_SERVICE_WORKER = "inputServiceWorker.js";
 export declare const INPUT_RELATIVE_URL = "__papyros_input";

package/dist/InputServiceWorker.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/OutputManager.d.ts

@@ -10,6 +10,7 @@ export interface FriendlyError {
 }
 export declare class OutputManager {
     outputAreaId: string;
+    options: RenderOptions;
     get outputArea(): HTMLElement;
     renderNextElement(html: string): void;
     spanify(text: string, ignoreEmpty?: boolean): string;

package/dist/Papyros.d.ts

@@ -56,12 +56,14 @@ export declare class Papyros {
     getCode(): string;
     startBackend(): Promise<void>;
     static fromElement(config: PapyrosConfig, renderOptions: PapyrosRenderOptions): Papyros;
-    static configureInput(allowReload: boolean): Promise<boolean>;
+    static configureInput(allowReload: boolean, serviceWorkerPath: string): Promise<boolean>;
     onError(e: PapyrosEvent): void;
     onInput(e: PapyrosEvent): Promise<void>;
     onMessage(e: PapyrosEvent): void;
     runCode(): Promise<void>;
     stop(): Promise<void>;
     render(standAlone: boolean, programmingLanguage: ProgrammingLanguage, locale: string, renderOptions: PapyrosRenderOptions): void;
+    static supportsProgrammingLanguage(language: string): boolean;
+    static toProgrammingLanguage(language: string): ProgrammingLanguage | undefined;
 }
 export {};

package/dist/ProgrammingLanguage.d.ts

@@ -2,5 +2,3 @@ export declare enum ProgrammingLanguage {
     Python = "Python",
     JavaScript = "JavaScript"
 }
-export declare const PROGRAMMING_LANGUAGES: ProgrammingLanguage[];
-export declare function plFromString(language: string): ProgrammingLanguage;