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

Rename tooltip to clipboard #121

Merged
merged 1 commit into from
Jul 12, 2024
Merged

Conversation

manics
Copy link
Member

@manics manics commented Jul 12, 2024

The original JavaScript is based on a tooltip example

* Mostly follows https://floating-ui.com/docs/tutorial

but it's been modified so the naming is misleading.

The original JavaScript is based on a tooltip example
https://github.com/jupyterhub/jupyter-remote-desktop-proxy/blob/d702e1a68f1ffee0fab57dbbefb1c11b36c48776/js/tooltip.js#L4

but it's been modified so the naming is misleading.
Copy link

Binder 👈 Launch a binder notebook on this branch for commit 53c67fe

I will automatically update this comment whenever this PR is modified

@consideRatio consideRatio merged commit 022d2fc into jupyterhub:main Jul 12, 2024
7 checks passed
@manics manics deleted the refactor-tooltip branch July 12, 2024 14:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants