Skip to content

Conversation

@jeewonkoo
Copy link

  • Added ICommandPalette to the list of optional
  • Added if (palette) { palette.addItem({ command: CommandIDs.toggleTop, category: 'View' }); } to add the command to the palette
  • Added palette: ICommandPalette | null to activate

@github-actions
Copy link
Contributor

github-actions bot commented May 3, 2022

Binder 👈 Launch a Binder on branch jeewonkoo/notebook/develop

@jtpio jtpio added this to the 7.0 milestone May 3, 2022
Copy link
Member

@jtpio jtpio left a comment

Choose a reason for hiding this comment

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

Thanks!

Looks good on Binder:

image

@jeewonkoo
Copy link
Author

Glad it worked well!

@jtpio jtpio merged commit 9cde2b6 into jupyter:main May 3, 2022
@github-actions github-actions bot locked as resolved and limited conversation to collaborators May 4, 2023
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.

2 participants