diff --git a/packages/notebook-extension/src/index.ts b/packages/notebook-extension/src/index.ts index 9a5153c4..b08f4c87 100644 --- a/packages/notebook-extension/src/index.ts +++ b/packages/notebook-extension/src/index.ts @@ -16,7 +16,7 @@ import { NotebookPanel } from '@jupyterlab/notebook'; import { ITranslator } from '@jupyterlab/translation'; -import { RetroApp, IRetroShell } from '@retrolab/application'; +import { IRetroShell } from '@retrolab/application'; import { Poll } from '@lumino/polling'; @@ -46,7 +46,7 @@ const KERNEL_STATUS_FADE_OUT_CLASS = 'jp-RetroKernelStatus-fade'; * A plugin for the checkpoint indicator */ const checkpoints: JupyterFrontEndPlugin = { - id: '@retrolab/application-extension:checkpoints', + id: '@retrolab/notebook-extension:checkpoints', autoStart: true, requires: [IDocumentManager, ITranslator], optional: [IRetroShell], @@ -104,7 +104,7 @@ const checkpoints: JupyterFrontEndPlugin = { * The kernel logo plugin. */ const kernelLogo: JupyterFrontEndPlugin = { - id: '@retrolab/application-extension:kernel-logo', + id: '@retrolab/notebook-extension:kernel-logo', autoStart: true, requires: [IRetroShell], activate: (app: JupyterFrontEnd, shell: IRetroShell) => { @@ -156,7 +156,7 @@ const kernelLogo: JupyterFrontEndPlugin = { * A plugin to display the kernel status; */ const kernelStatus: JupyterFrontEndPlugin = { - id: '@retrolab/application-extension:kernel-status', + id: '@retrolab/notebook-extension:kernel-status', autoStart: true, requires: [IRetroShell], activate: (app: JupyterFrontEnd, shell: IRetroShell) => { @@ -209,21 +209,6 @@ const kernelStatus: JupyterFrontEndPlugin = { } }; -/** - * The default paths for a RetroLab app. - */ -const paths: JupyterFrontEndPlugin = { - id: '@retrolab/application-extension:paths', - activate: (app: JupyterFrontEnd): JupyterFrontEnd.IPaths => { - if (!(app instanceof RetroApp)) { - throw new Error(`${paths.id} must be activated in RetroLab.`); - } - return app.paths; - }, - autoStart: true, - provides: JupyterFrontEnd.IPaths -}; - /** * Export the plugins as default. */