New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

fix: take window_border_size into account for tooltip positioning #554

Merged

tomasklaen merged 1 commit into tomasklaen:main from po5:tooltip-window-border

May 4, 2023

Contributor

po5 commented May 4, 2023 •

edited

Loading

(Disregard the overextended timeline)


          fix: take window_border_size into account for tooltip positioning

663e02c

tomasklaen merged commit 3369454 into tomasklaen:main

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet