Skip to content

Windows screen DPI autodetect #5556

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

Merged
merged 6 commits into from
Nov 21, 2016
Merged

Conversation

cmaglie
Copy link
Member

@cmaglie cmaglie commented Nov 3, 2016

The prefences option:

Interface scale: automatic [x]

was a placeholder for automatic detection of screen DPI.
Actually it returns always the default 100% and the user must remove the check and manually tweak the settings until a good scaling is found.

This patch solves the issue for Windows and makes the automatic scaling working without user interaction (the manual option is still available if needed).

@cmaglie cmaglie added feature request A request to make an enhancement (not a bug fix) Component: IDE user interface The Arduino IDE's user interface labels Nov 3, 2016
@cmaglie cmaglie added this to the Release 1.6.13 milestone Nov 3, 2016
@cmaglie cmaglie self-assigned this Nov 3, 2016
@cmaglie cmaglie force-pushed the windows-dpi-awareness branch from 5058d4d to fceb1d7 Compare November 4, 2016 15:04
@cmaglie cmaglie modified the milestone: Release 1.6.13 Nov 7, 2016
This commit contains debug messages used for testing purposes.
@cmaglie cmaglie merged commit 1f1092f into arduino:master Nov 21, 2016
@cmaglie cmaglie deleted the windows-dpi-awareness branch November 21, 2016 16:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Component: IDE user interface The Arduino IDE's user interface feature request A request to make an enhancement (not a bug fix)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants