import { DocumentRegistry, IDocumentWidget } from '@jupyterlab/docregistry'; import { TableOfContents, TableOfContentsFactory, TableOfContentsModel } from '@jupyterlab/toc'; import { FileEditor } from '../widget'; /** * Interface describing a file editor heading. */ export interface IEditorHeading extends TableOfContents.IHeading { /** * Heading line number. */ line: number; } /** * Base table of contents model factory for file editor */ export declare abstract class EditorTableOfContentsFactory extends TableOfContentsFactory, IEditorHeading> { /** * Create a new table of contents model for the widget * * @param widget - widget * @param configuration - Table of contents configuration * @returns The table of contents model */ createNew(widget: IDocumentWidget, configuration?: TableOfContents.IConfig): TableOfContentsModel>; }