import { Diagnostic } from '@codemirror/lint';
import { EditorView } from '@codemirror/view';
import { Ref } from 'vue';
declare function update(values: Diagnostic[]): void;
declare function activate(view: EditorView): void;
declare const _default: __VLS_WithTemplateSlots<import("vue").DefineComponent<__VLS_WithDefaults<__VLS_TypePropsToOption<{
    saveButton?: boolean;
    saveButtonLabel?: string;
    view?: EditorView;
}>, {
    saveButton: boolean;
    saveButtonLabel: string;
    view: any;
}>, {
    activate: typeof activate;
    update: typeof update;
}, unknown, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {
    goto: (args_0: Diagnostic, args_1: Diagnostic) => void;
    "update:modelValue": (args_0: Ref<Diagnostic[]>) => void;
    save: () => void;
}, string, import("vue").PublicProps, Readonly<import("vue").ExtractPropTypes<__VLS_WithDefaults<__VLS_TypePropsToOption<{
    saveButton?: boolean;
    saveButtonLabel?: string;
    view?: EditorView;
}>, {
    saveButton: boolean;
    saveButtonLabel: string;
    view: any;
}>>> & {
    onSave?: () => any;
    onGoto?: (args_0: Diagnostic, args_1: Diagnostic) => any;
    "onUpdate:modelValue"?: (args_0: Ref<Diagnostic[]>) => any;
}, {
    view: EditorView;
    saveButton: boolean;
    saveButtonLabel: string;
}, {}>, {
    "before-save-button"?(_: {}): any;
    "action-button"?(_: {}): any;
    "save-button"?(_: {
        diagnostics: {
            from: number;
            to: number;
            severity: "error" | "hint" | "info" | "warning";
            markClass?: string;
            source?: string;
            message: string;
            renderMessage?: (view: EditorView) => Node;
            actions?: readonly {
                name: string;
                apply: (view: EditorView, from: number, to: number) => void;
            }[];
        }[];
        saveButtonLabel: {
            from: number;
            to: number;
            severity: "error" | "hint" | "info" | "warning";
            markClass?: string;
            source?: string;
            message: string;
            renderMessage?: (view: EditorView) => Node;
            actions?: readonly {
                name: string;
                apply: (view: EditorView, from: number, to: number) => void;
            }[];
        }[];
    }): any;
    "after-save-button"?(_: {
        diagnostics: {
            from: number;
            to: number;
            severity: "error" | "hint" | "info" | "warning";
            markClass?: string;
            source?: string;
            message: string;
            renderMessage?: (view: EditorView) => Node;
            actions?: readonly {
                name: string;
                apply: (view: EditorView, from: number, to: number) => void;
            }[];
        }[];
    }): any;
}>;
export default _default;
type __VLS_WithDefaults<P, D> = {
    [K in keyof Pick<P, keyof P>]: K extends keyof D ? __VLS_Prettify<P[K] & {
        default: D[K];
    }> : P[K];
};
type __VLS_Prettify<T> = {
    [K in keyof T]: T[K];
} & {};
type __VLS_WithTemplateSlots<T, S> = T & {
    new (): {
        $slots: S;
    };
};
type __VLS_NonUndefinedable<T> = T extends undefined ? never : T;
type __VLS_TypePropsToOption<T> = {
    [K in keyof T]-?: {} extends Pick<T, K> ? {
        type: import('vue').PropType<__VLS_NonUndefinedable<T[K]>>;
    } : {
        type: import('vue').PropType<T[K]>;
        required: true;
    };
};
