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

Some small tooltip improvements #2

Merged

zydezu merged 2 commits into zydezu:main from fin444:main

Oct 4, 2023

fin444 commented Sep 14, 2023

make tooltip font size follow user_opts.timefontsize
fix tooltip positioning at edges of screen when using thumbfast (before / after)

fin444 added 2 commits

September 12, 2023 14:38


          make tooltip font size follow user_opts.timefontsize

ab982f7


          fix tooltip positioning at edges of screen when using thumbfast

bed2c68

zydezu merged commit 9f3ac57 into zydezu:main

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

Labels

None yet