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();
}
