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

High DPI Support #285

Merged
merged 7 commits into from
Jun 5, 2020
Merged

High DPI Support #285

merged 7 commits into from
Jun 5, 2020

Conversation

vkbo
Copy link
Owner

@vkbo vkbo commented Jun 4, 2020

This should solve the issue of scaling of fixed sizes on high DPI monitors. This is achieved by generally avoiding fixed size parameters, and where they cannot easily be avoided, use a function pxInt() in the Config class to calculate the rounded and scaled value.

Icons should now all scale to the texticonSize parameter that scales with the text. Margins should use the correct "fixed" value.

The scale factor is calculated by dividing the Qt logicalDotsPerInchX value by the normalised value of 96. This works fine on Debian (Gnome 3) but must be tested on other systems too.

@vkbo vkbo linked an issue Jun 4, 2020 that may be closed by this pull request
@vkbo
Copy link
Owner Author

vkbo commented Jun 5, 2020

Tested on Ubuntu 20.04 with 4K screen, and it works. But user settings should probably also scale so the sizes don't change between sessions run on different screens.

@vkbo vkbo merged commit a051e77 into dev Jun 5, 2020
@vkbo vkbo mentioned this pull request Jun 5, 2020
@vkbo vkbo deleted the high_dpi branch June 5, 2020 19:40
@vkbo vkbo mentioned this pull request Jun 6, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

High-DPI Support
1 participant