From 0b8351b9afc0dbcd62358c0aeb696f03e94a8aef Mon Sep 17 00:00:00 2001
From: Emil Ernerfeldt <emilernerfeldt@gmail.com>
Date: Thu, 23 Apr 2020 21:27:05 +0200
Subject: [PATCH] Fix touch screen interactions

---
 docs/index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/index.html b/docs/index.html
index f9ad9482..c42ceb74 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -193,9 +193,9 @@
             canvas.addEventListener("touchend", function (event) {
                 g_is_touch = true;
                 g_mouse_down = false; // First release mouse to click...
-                update_gui()();
+                paint();
                 g_mouse_pos = null; // ...remove hover effect
-                update_gui()();
+                invalidate();
                 event.stopPropagation();
                 event.preventDefault();
             });