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

Font issues #5

Open

Schallaven opened this issue May 4, 2021 · 0 comments

Labels

bug enhancement

Milestone

Owner

Schallaven commented May 4, 2021

Font size scales with DPI setting of OS - with higher scaling (e.g. the "125%" setting on Win10) the font might not fit the boxes anymore.

Possible fix: Allow user to adjust font (globally? per document?).

Schallaven added bug enhancement labels

Schallaven added this to the Version 2.5 milestone

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