-
Notifications
You must be signed in to change notification settings - Fork 5.5k
Add the JupyterLab resources plugin #6968
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
Conversation
| */ | ||
| namespace CommandIDs { | ||
| export const open = 'help:open'; | ||
| export const open = 'help:open-tab'; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is temporarily required since the upstream plugin already defines the help:open command, and would fail to activate if it already exists.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
But it prevents opening some links in new browser tabs since the JupyterLab tries to add the page in the main area with IFrames.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Opened jupyterlab/jupyterlab#14837
218b3f0 to
90568e4
Compare
90568e4 to
a58bdd8
Compare
a58bdd8 to
dceb2e9
Compare
|
bot please update playwright snapshots |
37445be to
9090e1e
Compare
|
CI back to green with #7170. This should now be good to go. |
Fixes #6963
This also brings additional resource links from JupyterLab that we might want to hide from the menu.