From 72d483ac225641bb81b9f60470b486b47b5cfeec Mon Sep 17 00:00:00 2001
From: Emil Ernerfeldt <emil.ernerfeldt@gmail.com>
Date: Wed, 20 Oct 2021 13:54:36 +0200
Subject: [PATCH] repaint when pixels_per_point changes

---
 egui/src/context.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/egui/src/context.rs b/egui/src/context.rs
index b45fabbb..a08b40fb 100644
--- a/egui/src/context.rs
+++ b/egui/src/context.rs
@@ -480,6 +480,10 @@ impl Context {
     /// 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.
     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);
     }