plugin.d.ts 828 B

123456789101112131415
  1. import { DocumentRegistry } from '@jupyterlab/docregistry';
  2. import { INotebookModel } from '@jupyterlab/notebook';
  3. import { JupyterFrontEndPlugin } from '@jupyterlab/application';
  4. import { IRenderMimeRegistry } from '@jupyterlab/rendermime';
  5. import { DisposableDelegate } from '@lumino/disposable';
  6. import { WidgetRenderer } from './renderer';
  7. import * as base from '@jupyter-widgets/base';
  8. import '@jupyter-widgets/base/css/index.css';
  9. import '@jupyter-widgets/controls/css/widgets-base.css';
  10. export declare function registerWidgetManager(context: DocumentRegistry.IContext<INotebookModel>, rendermime: IRenderMimeRegistry, renderers: IterableIterator<WidgetRenderer>): DisposableDelegate;
  11. /**
  12. * The widget manager provider.
  13. */
  14. declare const plugin: JupyterFrontEndPlugin<base.IJupyterWidgetRegistry>;
  15. export default plugin;