From be2a651ae6092457c8a9d6131f09d8332db2290a Mon Sep 17 00:00:00 2001
From: Zutatensuppe <oo.para@gmail.com>
Date: Thu, 15 Apr 2021 10:06:20 +0200
Subject: [PATCH] dont rerender if not able to zoom in/out

---
 game/game.js | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/game/game.js b/game/game.js
index 1fc9169..e75aa1f 100644
--- a/game/game.js
+++ b/game/game.js
@@ -608,12 +608,14 @@ async function main() {
           _last_mouse_down = null
         } else if (type === Protocol.INPUT_EV_ZOOM_IN) {
           const pos = { x: evt[1], y: evt[2] }
-          viewport.zoomIn(viewport.worldToViewport(pos))
-          RERENDER = true
+          if (viewport.zoomIn(viewport.worldToViewport(pos))) {
+            RERENDER = true
+          }
         } else if (type === Protocol.INPUT_EV_ZOOM_OUT) {
           const pos = { x: evt[1], y: evt[2] }
-          viewport.zoomOut(viewport.worldToViewport(pos))
-          RERENDER = true
+          if (viewport.zoomOut(viewport.worldToViewport(pos))) {
+            RERENDER = true
+          }
         }
       }
     }