import { CodeEditor } from '@jupyterlab/codeeditor';
import { CodeMirrorEditor } from '@jupyterlab/codemirror';
import { IDocumentWidget } from '@jupyterlab/docregistry';
import { FileEditor } from '@jupyterlab/fileeditor';
import { ICommandContext } from '../../command_manager';
import { LSPExtension } from '../../index';
import { IVirtualPosition } from '../../positioning';
import { VirtualDocument } from '../../virtual/document';
import { IVirtualEditor } from '../../virtual/editor';
import { WidgetAdapter } from '../adapter';
import IEditor = CodeEditor.IEditor;
export declare class FileEditorAdapter extends WidgetAdapter<IDocumentWidget<FileEditor>> {
    editor: FileEditor;
    virtual_editor: IVirtualEditor<IEditor>;
    get document_path(): string;
    get mime_type(): string;
    get language_file_extension(): string;
    get ce_editor(): CodeMirrorEditor;
    get activeEditor(): CodeEditor.IEditor;
    constructor(extension: LSPExtension, editor_widget: IDocumentWidget<FileEditor>);
    protected init_once_ready(): Promise<void>;
    get_editor_index(ce_editor: CodeEditor.IEditor): number;
    get_editor_wrapper(ce_editor: CodeEditor.IEditor): HTMLElement;
    get wrapper_element(): HTMLElement;
    get path(): string;
    context_from_active_document(): ICommandContext | null;
    get_editor_index_at(position: IVirtualPosition): number;
    get editors(): CodeEditor.IEditor[];
    create_virtual_document(): VirtualDocument;
}