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.

Sign up for GitHub

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

Jump to bottom

Add the plugin manager extension #7097

Closed
Tracked by #7087
jtpio opened this issue Oct 9, 2023 · 2 comments · Fixed by #7198
Closed
Tracked by #7087

Add the plugin manager extension #7097

jtpio opened this issue Oct 9, 2023 · 2 comments · Fixed by #7198
Labels
enhancement
Milestone
7.1.0

Comments

@jtpio
Copy link
Member

jtpio commented Oct 9, 2023

Moved from #7096, tracking this separately to not block #7096.

Upstream PR: jupyterlab/jupyterlab#14536

Similar to the Settings Editor, we can consider opening the panel on the file browser page:

image
@jtpio jtpio added this to the 7.1 milestone Oct 9, 2023
@jupyterlab-probot jupyterlab-probot bot added the status:Needs Triage Applied to issues that need triage label Oct 9, 2023
This was referenced Oct 9, 2023
Closed
Merged
@RRosio RRosio removed the status:Needs Triage Applied to issues that need triage label Oct 10, 2023
@JasonWeill JasonWeill mentioned this issue Oct 10, 2023
Closed
@joaovml
Copy link

joaovml commented Oct 29, 2023

Hi @jtpio , could you give more information about this issue and the final goal, I'm not sure I follow 100%. Thanks!

@jtpio
Copy link
Member Author

jtpio commented Nov 22, 2023

Upstream PR: jupyterlab/jupyterlab#14536

JupyterLab added support for exploring and managing the underlying plugins that can be found in extensions in this PR.

The final goal would be to expose this functionality in Notebook 7 too.

@jtpio jtpio mentioned this issue Dec 21, 2023
Merged
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
7.1.0
Development

Successfully merging a pull request may close this issue.

Add the plugin manager jtpio/notebook
3 participants
@jtpio @RRosio @joaovml