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); set indentLength(length: number); constructor(); }