@@ -144,7 +144,7 @@ async function activateTOC(
* @private
*/
const extension: JupyterFrontEndPlugin<ITableOfContentsRegistry> = {
- id: 'jupyterlab-toc',
+ id: 'toc',
autoStart: true,
provides: ITableOfContentsRegistry,
requires: [
@@ -18,7 +18,7 @@ export interface ITableOfContentsRegistry extends TableOfContentsRegistry {}
* Table of contents registry token.
export const ITableOfContentsRegistry = new Token<TableOfContentsRegistry>(
- 'jupyterlab-toc:ITableOfContentsRegistry'
+ 'toc:ITableOfContentsRegistry'
);
/* tslint:enable */