import { JupyterFrontEndPlugin } from '@jupyterlab/application'; import { IDocumentWidget } from '@jupyterlab/docregistry'; import { FileEditorAdapter as UpstreamFileEditorAdapter, FileEditor, IFileEditorAdapterOptions } from '@jupyterlab/fileeditor'; import { ILSPCodeOverridesManager } from '../overrides/tokens'; import { VirtualDocument } from '../virtual/document'; interface IAdapterOptions extends IFileEditorAdapterOptions { codeOverridesManager: ILSPCodeOverridesManager; } export declare class FileEditorAdapter extends UpstreamFileEditorAdapter { editorWidget: IDocumentWidget; protected options: IAdapterOptions; constructor(editorWidget: IDocumentWidget, options: IAdapterOptions); protected initOnceReady(): Promise; /** * Generate the virtual document associated with the document. */ createVirtualDocument(): VirtualDocument; } export declare const FILEEDITOR_ADAPTER_PLUGIN: JupyterFrontEndPlugin; export {};