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

Property grid - fonts scaling #86

Open
mpostol opened this issue Dec 18, 2019 · 4 comments
Open

Property grid - fonts scaling #86

mpostol opened this issue Dec 18, 2019 · 4 comments
Assignees
Labels
enhancement New feature or request UI Refactoring Removing Forms from User Interface
Milestone

Comments

@mpostol
Copy link
Owner

mpostol commented Dec 18, 2019

Reported for V 4.1. W10.

ASMD-Problems SP 1
ASMD Problems SP 2

@mpostol mpostol self-assigned this Dec 18, 2019
@mpostol mpostol added the bug 👎 Something isn't working label Dec 18, 2019
@mpostol mpostol added this to the 4.1. bug fixes milestone Dec 18, 2019
@mpostol
Copy link
Owner Author

mpostol commented Dec 18, 2019

On my screen, it looks like this.
FontsScallingMP 1

Overcome: change the font size in tools\options?
More investigation is needed.

@mpostol
Copy link
Owner Author

mpostol commented Dec 18, 2019

The problem is related to the computer DIsplay settings if Scale and layout is >100%.
The application font size setting doesn't fix the problem.

FontsScallingMP 2

@mpostol
Copy link
Owner Author

mpostol commented Dec 18, 2019

Confirmed.

@mpostol mpostol added enhancement New feature or request and removed bug 👎 Something isn't working labels Dec 18, 2019
@mpostol mpostol modified the milestones: 4.1. bug fixes, Backlog Dec 21, 2019
@mpostol
Copy link
Owner Author

mpostol commented Jan 24, 2020

Try to apply this

Try this workaround:

In Explorer or on the Start menu, right-click the application name, select Properties, select the Compatibility tab, and then select the Disable display scaling on high DPI settings checkbox.

@mpostol mpostol added the UI Refactoring Removing Forms from User Interface label May 18, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request UI Refactoring Removing Forms from User Interface
Projects
None yet
Development

No branches or pull requests

1 participant