From 8e3f05612112fd78df0aaeabb67214bc84549a6c Mon Sep 17 00:00:00 2001
From: Jeremie Knuesel <knuesel@gmail.com>
Date: Fri, 23 Feb 2018 15:26:43 +0100
Subject: [PATCH] If new PPI is significantly different, yes render and refresh

---
 zathura/zathura.c | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/zathura/zathura.c b/zathura/zathura.c
index d67eabe..1e5fe9d 100644
--- a/zathura/zathura.c
+++ b/zathura/zathura.c
@@ -192,9 +192,13 @@ zathura_update_view_ppi(zathura_t* zathura)
   }
 #endif
 
-  girara_debug("monitor width: %d mm, pixels: %d, ppi: %f", width_mm, monitor_geom.width, ppi);
-
-  zathura_document_set_viewport_ppi(zathura->document, ppi);
+  double current_ppi = zathura_document_get_viewport_ppi(zathura->document);
+  if (fabs(ppi - current_ppi) > DBL_EPSILON) {
+    girara_debug("monitor width: %d mm, pixels: %d, ppi: %f", width_mm, monitor_geom.width, ppi);
+    zathura_document_set_viewport_ppi(zathura->document, ppi);
+    render_all(zathura);
+    refresh_view(zathura);
+  }
 }
 
 static bool