migrations/egui
1
0
Fork 0
mirror of https://github.com/emilk/egui.git synced 2026-08-31 05:40:03 -04:00
Code Activity

Add Context::set_pixels_per_point to control the scale of the UI

Browse Source
This commit is contained in:
Emil Ernerfeldt
2021-02-21 11:23:33 +01:00
parent c601db5956
commit 5f6a468812
9 changed files with 55 additions and 34 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
egui_demo_lib/src/wrap_app.rs
View File

@@ -251,11 +251,13 @@ impl BackendPanel {
self.frame_history.ui(ui);
if !frame.is_web() {
// web browsers have their own way of zooming, which egui_web respects
// For instance: `egui_web` sets `pixels_per_point` every frame to force
// egui to use the same scale as the web zoom factor.
let integration_controls_pixels_per_point = ui.input().raw.pixels_per_point.is_some();
if !integration_controls_pixels_per_point {
ui.separator();
if let Some(new_pixels_per_point) = self.pixels_per_point_ui(ui, frame.info()) {
frame.set_pixels_per_point(new_pixels_per_point);
ui.ctx().set_pixels_per_point(new_pixels_per_point);
}
}