djkato/egui
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Demo app fix: respect native pixels_per_point on startup

Browse source
This commit is contained in:
Emil Ernerfeldt 2022-02-05 23:54:44 +01:00
parent cbc53fbe2e
commit 55067f54ce
1 changed files with 5 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
egui_demo_lib/src/backend_panel.rs
View file

@ -51,6 +51,7 @@ pub struct BackendPanel {
run_mode: RunMode, run_mode: RunMode,
/// current slider value for current gui scale /// current slider value for current gui scale
#[cfg_attr(feature = "serde", serde(skip))]
pixels_per_point: Option<f32>, pixels_per_point: Option<f32>,
/// maximum size of the web browser canvas /// maximum size of the web browser canvas
@ -195,12 +196,10 @@ impl BackendPanel {
ui: &mut egui::Ui, ui: &mut egui::Ui,
info: &epi::IntegrationInfo, info: &epi::IntegrationInfo,
) -> Option<f32> { ) -> Option<f32> {
self.pixels_per_point = self let pixels_per_point = self.pixels_per_point.get_or_insert_with(|| {
.pixels_per_point info.native_pixels_per_point
.or(info.native_pixels_per_point) .unwrap_or_else(|| ui.ctx().pixels_per_point())
.or_else(|| Some(ui.ctx().pixels_per_point())); });
let pixels_per_point = self.pixels_per_point.as_mut()?;
ui.horizontal(|ui| { ui.horizontal(|ui| {
ui.spacing_mut().slider_width = 90.0; ui.spacing_mut().slider_width = 90.0;