Merge pull request #284 from jtpio/plugin-ids

Fix plugin ids in the notebook extension
This commit is contained in:
Jeremy Tuloup 2021-11-12 19:24:13 +01:00 committed by GitHub
commit 5d5ae1fc42
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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<void> = {
id: '@retrolab/application-extension:checkpoints',
id: '@retrolab/notebook-extension:checkpoints',
autoStart: true,
requires: [IDocumentManager, ITranslator],
optional: [IRetroShell],
@ -104,7 +104,7 @@ const checkpoints: JupyterFrontEndPlugin<void> = {
* The kernel logo plugin.
*/
const kernelLogo: JupyterFrontEndPlugin<void> = {
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<void> = {
* A plugin to display the kernel status;
*/
const kernelStatus: JupyterFrontEndPlugin<void> = {
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<void> = {
}
};
/**
* The default paths for a RetroLab app.
*/
const paths: JupyterFrontEndPlugin<JupyterFrontEnd.IPaths> = {
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.
*/