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.

Sign up for GitHub

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

Jump to bottom

Allow updating user created HoverTool.tooltips #440

Merged

philippjfr merged 1 commit into master from tooltip_improvements

Mar 22, 2020

Member

philippjfr commented Mar 22, 2020 •

edited

Loading

Ensures that a HoverTool created by the user is updated.


          Allow updating user created HoverTool.tooltips

4deec3b

coveralls commented Mar 22, 2020

Coverage decreased (-0.03%) to 49.7% when pulling 4deec3b on tooltip_improvements into b625f55 on master.

philippjfr merged commit 741cf9e into master

hoxbro deleted the tooltip_improvements branch

October 29, 2023 10:38

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet