import { FileEditor } from '@jupyterlab/fileeditor';
import { IJump, IJumpPosition } from '../jump';
import { CodeJumper } from './jumper';
import { IDocumentManager } from '@jupyterlab/docmanager';
import { IDocumentWidget } from '@jupyterlab/docregistry';
import { CodeEditor } from '@jupyterlab/codeeditor';
export declare class FileEditorJumper extends CodeJumper {
    editor: FileEditor;
    language: string;
    widget: IDocumentWidget;
    constructor(editor_widget: IDocumentWidget<FileEditor>, document_manager: IDocumentManager);
    get path(): string;
    get cwd(): string;
    setLanguageFromMime(mime: string): void;
    get editors(): CodeEditor.IEditor[];
    jump(jump_position: IJumpPosition): void;
    jump_to_definition(jump: IJump): void;
    jump_back(): void;
    getOffset(position: CodeEditor.IPosition): number;
    getJumpPosition(position: CodeEditor.IPosition): IJumpPosition;
}