Skip to content

Instantly share code, notes, and snippets.

@krassowski

krassowski/README.md

Last active January 27, 2025 18:30
Show Gist options
  • Save krassowski/47255f942f59bdd585d9b7ca9153d8f7 to your computer and use it in GitHub Desktop.
Save krassowski/47255f942f59bdd585d9b7ca9153d8f7 to your computer and use it in GitHub Desktop.
Download ZIP
JupyterLab Plugin Playground
Raw
README.md

JupyterLab Plugin Playground

Binder

Raw
requirements.txt
jupyterlab<4.2
jupyterlab-plugin-playground==0.4.0
@krassowski
Copy link
Author

In JSON Settings Editor set:

{
    "plugins": [
        "import { JupyterFrontEnd, JupyterFrontEndPlugin } from '@jupyterlab/application';\nconst plugin: JupyterFrontEndPlugin<void> = {\n  id: 'hello-world:plugin',\n  autoStart: true,\n  activate: (app: JupyterFrontEnd) => {    app.shell.currentChanged.connect(() => {        alert('Current tab changed!');    })  },};export default plugin;"
    ]
}

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment