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

Only update pixels_per_point when it has changed (#2352)

Browse source
This commit is contained in:
Erlend Walstad 2022-11-27 17:22:45 +01:00 committed by GitHub
parent d2f70cdcd1
commit c5e6def65e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
crates/egui/src/context.rs
View file

@ -827,9 +827,8 @@ impl Context {
pub fn set_pixels_per_point(&self, pixels_per_point: f32) { pub fn set_pixels_per_point(&self, pixels_per_point: f32) {
if pixels_per_point != self.pixels_per_point() { if pixels_per_point != self.pixels_per_point() {
self.request_repaint(); self.request_repaint();
self.memory().new_pixels_per_point = Some(pixels_per_point);
} }
self.memory().new_pixels_per_point = Some(pixels_per_point);
} }
/// Useful for pixel-perfect rendering /// Useful for pixel-perfect rendering