Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add the Plugin Manager #1324

Open
jtpio opened this issue Feb 22, 2024 · 0 comments
Open

Add the Plugin Manager #1324

jtpio opened this issue Feb 22, 2024 · 0 comments
Labels
enhancement New feature or request
Milestone

Comments

@jtpio
Copy link
Member

jtpio commented Feb 22, 2024

Problem

In JupyterLab 4.1 there is a new plugin manager to make it easier to inspect the list of available plugins, and disable them:

Proposed Solution

Add the plugin manager, or at least some parts of it. At least enabling the widget to show the list of available plugins would already be useful.

The feature in JupyterLab also includes server side logic to manage the plugins (enable or disable). We may want to implement something similar in lite. Although that would likely involve storing the state of plugins in the user browser, and make that available in the application entrypoint (index.js).

Additional context

This was added to JupyterLab in jupyterlab/jupyterlab#14536

@jtpio jtpio added the enhancement New feature or request label Feb 22, 2024
@jtpio jtpio added this to the 0.3.x milestone Feb 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant