@jupyterlab/fileeditor
Version:
JupyterLab - Editor Widget
26 lines (25 loc) • 1.03 kB
TypeScript
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<IDocumentWidget<FileEditor>, 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<FileEditor, DocumentRegistry.IModel>, configuration?: TableOfContents.IConfig): TableOfContentsModel<IEditorHeading, IDocumentWidget<FileEditor, DocumentRegistry.IModel>>;
}