New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

eframe: make sure to update native_pixels_per_point when dpi changes #2256

Merged

emilk merged 2 commits into master from update-native_pixels_per_point

Nov 7, 2022

Owner

emilk commented Nov 7, 2022 •

edited

Loading

For when moving the native window to a different monitor, for instance

emilk added 2 commits

November 7, 2022 12:19


          eframe: make sure to update native_pixels_per_point when dpi changes

9f6e80f


          Update changelog

5a1e62f

emilk mentioned this pull request

Add buttons and shortcuts for zooming the whole GUI rerun-io/rerun#265

Merged

3 tasks

emilk merged commit eec1829 into master

emilk deleted the update-native_pixels_per_point branch

November 7, 2022 11:36

JohannesProgrammiert pushed a commit to JohannesProgrammiert/egui that referenced this pull request


          eframe: make sure to update native_pixels_per_point when dpi changes (e…

…milk#2256)

* eframe: make sure to update native_pixels_per_point when dpi changes

* Update changelog

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet