@dodona/papyros
Version:
Scratchpad for multiple programming languages in the browser.
25 lines (24 loc) • 916 B
TypeScript
import { CodeMirrorEditor } from "./CodeMirrorEditor";
import { CSSResult } from "lit";
import { WorkerDiagnostic } from "../../../backend/Backend";
import { ProgrammingLanguage } from "../../../ProgrammingLanguage";
export declare class CodeEditor extends CodeMirrorEditor {
static get styles(): CSSResult;
set debug(value: boolean);
set debugLine(value: number | undefined);
set testLines(value: number[] | undefined);
/**
* Override the value setter to temporarily disable read-only ranges
*/
dispatchChange(): void;
set testLineCount(value: number | undefined);
set testTranslations(value: {
description: string;
edit: string;
remove: string;
});
set programmingLanguage(value: ProgrammingLanguage);
set lintingSource(lintSource: () => Promise<readonly WorkerDiagnostic[]>);
set indentLength(length: number);
constructor();
}