@dodona/papyros/dist/frontend/components/code_mirror/BatchInputEditor.d.ts

Scratchpad for multiple programming languages in the browser.

import { CodeMirrorEditor } from "./CodeMirrorEditor";
import { CSSResult } from "lit";
export declare class BatchInputEditor extends CodeMirrorEditor {
    static get styles(): CSSResult;
    set usedLines(value: number);
    set readOnly(value: boolean);
    constructor();
}