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 JupyterLab resources plugin #6968

Merged
merged 5 commits into from
Dec 1, 2023
Merged

Conversation

jtpio
Copy link
Member

@jtpio jtpio commented Jul 17, 2023

Fixes #6963

This also brings additional resource links from JupyterLab that we might want to hide from the menu.

image

image

@github-actions
Copy link
Contributor

Binder 👈 Launch a Binder on branch jtpio/notebook/resources-links

@@ -34,7 +34,7 @@ const RESOURCES = [
* The command IDs used by the help plugin.
*/
namespace CommandIDs {
export const open = 'help:open';
export const open = 'help:open-tab';
Copy link
Member Author

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.

Copy link
Member Author

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.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@jtpio
Copy link
Member Author

jtpio commented Nov 30, 2023

bot please update playwright snapshots

@jtpio jtpio closed this Nov 30, 2023
@jtpio jtpio reopened this Nov 30, 2023
@jtpio jtpio modified the milestones: 7.0.x, 7.1 Nov 30, 2023
@jtpio jtpio marked this pull request as ready for review December 1, 2023 10:39
@jtpio
Copy link
Member Author

jtpio commented Dec 1, 2023

CI back to green with #7170.

This should now be good to go.

@jtpio jtpio merged commit 4266df1 into jupyter:main Dec 1, 2023
31 checks passed
@jtpio jtpio deleted the resources-links branch December 1, 2023 10:40
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Dec 1, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Notebook 7.0.0 ignores kernel's help_links property
1 participant