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

Add OBSERVER_SCALE environment variable for HiDPI support #2105

Closed
wants to merge 3 commits into from

Conversation

essen
Copy link
Contributor

@essen essen commented Jan 23, 2019

@dgud
Copy link
Contributor

dgud commented Jan 23, 2019

I think we can live with that until wxWidgets-3.2 arrives.
I can't test it tough :-) So please take a real look around.

@essen
Copy link
Contributor Author

essen commented Jan 23, 2019

Will do!

@essen
Copy link
Contributor Author

essen commented Jan 30, 2019

@dgud Do you know how I can scale the title bar of wxMiniFrame windows? Like the one you get when you double click a port in the ports tab. Right now the window is scaled but the title bar isn't and so it only prints me half the title text (the text is scaled, the area isn't).

@dgud
Copy link
Contributor

dgud commented Feb 4, 2019

The miniframe is created by wxwidgets so I don't think we can do much about it.

@dgud dgud added the testing currently being tested, tag is used by OTP internal CI label Feb 4, 2019
@essen
Copy link
Contributor Author

essen commented Feb 4, 2019

OK then I think this PR is ready.

@dgud
Copy link
Contributor

dgud commented Feb 18, 2019

Thanks, sqaushed and merged.

@dgud dgud closed this Feb 18, 2019
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
testing currently being tested, tag is used by OTP internal CI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants