allow smaller font size for hidpi #1342
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Allow using smaller fonts. This can be useful for large HiDPI screens. For example, my Windows machine's screen's pixel density is 105 and the display scaling is set to 150% in 2160p. This makes the size of a 8 pt font too large. It can also vary depending on the Qt backend being used (DirectDraw vs xcb, etc.).
Perhaps there's some sense in lowering it even a bit further but that's enough changes for one day.
As usual, thank you for this wonderful software. The ability to edit diffs before reverting will surely come in handy.