repaint when pixels_per_point changes
This commit is contained in:
parent
3ba406c0fe
commit
72d483ac22
|
|
@ -480,6 +480,10 @@ impl Context {
|
||||||
/// Note that this may be overwritten by input from the integration via [`RawInput::pixels_per_point`].
|
/// Note that this may be overwritten by input from the integration via [`RawInput::pixels_per_point`].
|
||||||
/// For instance, when using `egui_web` the browsers native zoom level will always be used.
|
/// For instance, when using `egui_web` the browsers native zoom level will always be used.
|
||||||
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() {
|
||||||
|
self.request_repaint();
|
||||||
|
}
|
||||||
|
|
||||||
self.memory().new_pixels_per_point = Some(pixels_per_point);
|
self.memory().new_pixels_per_point = Some(pixels_per_point);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue