@dodona/papyros 0.1.94 → 0.1.95-darkmode

package/dist/CodeEditor.d.ts

@@ -3,11 +3,11 @@ import { Compartment, Extension } from "@codemirror/state";
 import { ProgrammingLanguage } from "./ProgrammingLanguage";
 import { EditorView } from "@codemirror/view";
 import { CompletionSource } from "@codemirror/autocomplete";
-import { RenderOptions } from "./util/Util";
+import { Renderable, RenderOptions } from "./util/Rendering";
 /**
  * Component that provides useful features to users writing code
  */
-export declare class CodeEditor {
+export declare class CodeEditor extends Renderable {
     /**
      * Reference to the user interface of the editor
      */
@@ -32,21 +32,17 @@ export declare class CodeEditor {
      * Compartment to configure the autocompletion at runtime
      */
     autocompletionCompartment: Compartment;
+    /**
+     * Compartment to configure styling at runtime (e.g. switching to dark mode)
+     */
+    styleCompartent: Compartment;
     /**
      * Construct a new CodeEditor
-     * @param {ProgrammingLanguage} language The used programming language
-     * @param {string} editorPlaceHolder The placeholder for the editor
      * @param {string} initialCode The initial code to display
      * @param {number} indentLength The length in spaces for the indent unit
      */
     constructor(initialCode?: string, indentLength?: number);
-    /**
-     * Render the editor with the given options and panel
-     * @param {RenderOptions} options Options for rendering
-     * @param {HTMLElement} panel The panel to display at the bottom
-     * @return {HTMLElement} The rendered element
-     */
-    render(options: RenderOptions, panel?: HTMLElement): HTMLElement;
+    protected _render(options: RenderOptions): void;
     /**
      * Set the language that is currently used
      * @param {ProgrammingLanguage} language The language to use
@@ -97,7 +93,8 @@ export declare class CodeEditor {
     *  - [custom selection drawing](#view.drawSelection)
     *  - [multiple selections](#state.EditorState^allowMultipleSelections)
     *  - [reindentation on input](#language.indentOnInput)
-    *  - [the default highlight style](#highlight.defaultHighlightStyle) (as fallback)
+    *  - [syntax highlighting with the default highlight style]
+    *   (#highlight.defaultHighlightStyle) (as fallback)
     *  - [bracket matching](#matchbrackets.bracketMatching)
     *  - [bracket closing](#closebrackets.closeBrackets)
     *  - [autocompletion](#autocomplete.autocompletion)
@@ -106,6 +103,7 @@ export declare class CodeEditor {
     *  - [active line gutter highlighting](#gutter.highlightActiveLineGutter)
     *  - [selection match highlighting](#search.highlightSelectionMatches)
     * Keymaps:
+    *  - [bracket closing](#commands.closeBracketsKeymap)
     *  - [the default command bindings](#commands.defaultKeymap)
     *  - [search](#search.searchKeymap)
     *  - [commenting](#comment.commentKeymap)

package/dist/CodeRunner.d.ts

@@ -1,7 +1,21 @@
 import { CodeEditor } from "./CodeEditor";
 import { InputManager } from "./InputManager";
 import { ProgrammingLanguage } from "./ProgrammingLanguage";
-import { ButtonOptions, RenderOptions } from "./util/Util";
+import { RenderOptions, ButtonOptions, Renderable } from "./util/Rendering";
+interface CodeRunnerRenderOptions {
+    /**
+     * Options for rendering the panel
+     */
+    statusPanelOptions: RenderOptions;
+    /**
+     * Options for rendering the InputManager
+     */
+    inputOptions: RenderOptions;
+    /**
+     * Options for rendering the editor
+     */
+    codeEditorOptions: RenderOptions;
+}
 /**
  * Enum representing the possible states while processing code
  */
@@ -15,7 +29,7 @@ export declare enum RunState {
 /**
  * Helper component to manage and visualize the current RunState
  */
-export declare class CodeRunner {
+export declare class CodeRunner extends Renderable<CodeRunnerRenderOptions> {
     /**
      * The currently used programming language
      */
@@ -86,17 +100,11 @@ export declare class CodeRunner {
      * @param {function} onClick Listener for click events on the button
      */
     addButton(options: ButtonOptions, onClick: () => void): void;
-    /**
-     * Render the RunStateManager with the given options
-     * @param {RenderOptions} statusPanelOptions Options for rendering the panel
-     * @param {RenderOptions} inputOptions Options for rendering the InputManager
-     * @param {RenderOptions} codeEditorOptions Options for rendering the editor
-     * @return {HTMLElement} The rendered RunStateManager
-     */
-    render(statusPanelOptions: RenderOptions, inputOptions: RenderOptions, codeEditorOptions: RenderOptions): HTMLElement;
+    protected _render(options: CodeRunnerRenderOptions): HTMLElement;
     /**
      * Run the code that is currently present in the editor
      * @return {Promise<void>} Promise of running the code
      */
     runCode(): Promise<void>;
 }
+export {};

package/dist/Constants.d.ts

@@ -15,6 +15,7 @@ export declare const SWITCH_INPUT_MODE_A_ID: string;
 export declare const EXAMPLE_SELECT_ID: string;
 export declare const LOCALE_SELECT_ID: string;
 export declare const PROGRAMMING_LANGUAGE_SELECT_ID: string;
+export declare const DARK_MODE_TOGGLE_ID: string;
 export declare const DEFAULT_PROGRAMMING_LANGUAGE = ProgrammingLanguage.Python;
 export declare const DEFAULT_LOCALE = "nl";
 export declare const DEFAULT_SERVICE_WORKER = "InputServiceWorker.js";

package/dist/InputManager.d.ts

@@ -1,15 +1,14 @@
 import { BackendEvent } from "./BackendEvent";
-import { RenderOptions } from "./util/Util";
 import { UserInputHandler } from "./input/UserInputHandler";
+import { Renderable, RenderOptions } from "./util/Rendering";
 export declare enum InputMode {
     Interactive = "interactive",
     Batch = "batch"
 }
 export declare const INPUT_MODES: InputMode[];
-export declare class InputManager {
+export declare class InputManager extends Renderable {
     private inputMode;
     private inputHandlers;
-    private renderOptions;
     private waiting;
     private prompt;
     private sendInput;
@@ -18,7 +17,7 @@ export declare class InputManager {
     getInputMode(): InputMode;
     setInputMode(inputMode: InputMode): void;
     get inputHandler(): UserInputHandler;
-    render(options: RenderOptions): void;
+    _render(options: RenderOptions): void;
     waitWithPrompt(waiting: boolean, prompt?: string): void;
     onUserInput(): Promise<void>;
     /**