Hello.
Here is a simple plugin
import { JupyterFrontEnd, JupyterFrontEndPlugin } from "@jupyterlab/application";
import "../style/index.css";
import { INotebookTracker } from "@jupyterlab/notebook";
/**
* Initialization data for foo extension.
*/
const plugin: JupyterFrontEndPlugin<void> = {
id: "foo:bar",
description: "A JupyterLab extension.",
autoStart: true,
requires: [INotebookTracker],
activate: async (app: JupyterFrontEnd, notebookTracker: INotebookTracker) => {
app.started.then(async () => {
console.log(notebookTracker.activeCell);
});
}
};
export default plugin;
It works with jupyter lab
but for jupyter 7 (running from the same environment) it says:
TypeError: No provider for: @jupyterlab/notebook:INotebookTools.
at P.resolveRequiredService (6731.bundle.js:1:7668)
at 6731.bundle.js:1:6663
at Array.map (<anonymous>)
at P.activatePlugin (6731.bundle.js:1:6650)
at 6731.bundle.js:1:8167
at Array.map (<anonymous>)
at P.start (6731.bundle.js:1:8154)
at 880.bundle.js:1:10658
(anonymous) @ 6731.bundle.js:1
Should I file a bug?