Skip to content

Conversation

@hawkeyes21
Copy link
Contributor

Fix for issue #6532

Quick context:
The cursor was not changing into a pointer when hovered over Jupyter icon on navbar.

jupyter-bug-fix.mp4

@github-actions
Copy link
Contributor

github-actions bot commented Oct 3, 2022

Binder 👈 Launch a Binder on branch hawkeyes21/notebook/main

@jtpio jtpio added the bug label Oct 3, 2022
@jtpio jtpio added this to the 7.0 milestone Oct 3, 2022
@jtpio jtpio linked an issue Oct 3, 2022 that may be closed by this pull request
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!

@jtpio jtpio merged commit 7c123a8 into jupyter:main Oct 3, 2022
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Oct 4, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

No mouse pointer when hovering on the Jupyter icon

2 participants