From 0ba687f5214a94cab4e25d182ba8a8610c999d2e Mon Sep 17 00:00:00 2001
From: Emil Ernerfeldt <emil.ernerfeldt@gmail.com>
Date: Tue, 12 Mar 2019 10:00:41 +0100
Subject: [PATCH] Run on requestAnimationFrame by default

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

diff --git a/docs/index.html b/docs/index.html
index 449ee6f9..76b7f774 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -91,12 +91,25 @@
         };
     }
 
+    const ANIMATION_FRAME = true;
+
+    function paint() {
+        var canvas = document.getElementById("canvas");
+        auto_resize_canvas(canvas);
+        paint_gui(canvas, get_input(canvas));
+
+        if (ANIMATION_FRAME) {
+            window.requestAnimationFrame(paint);
+        }
+    }
+
     function on_wasm_loaded() {
         console.log("window.devicePixelRatio: " + window.devicePixelRatio);
         var canvas = document.getElementById("canvas");
         var repaint = function() {
-            auto_resize_canvas(canvas);
-            paint_gui(canvas, get_input(canvas));
+            if (!ANIMATION_FRAME) {
+                paint();
+            }
         };
 
         canvas.addEventListener("mousedown", function(event) {
@@ -152,8 +165,10 @@
         window.addEventListener("pagehide", repaint);
         window.addEventListener("pageshow", repaint);
         window.addEventListener("resize", repaint);
-        // setInterval(repaint, 16);
-        repaint();
+
+        // setInterval(repaint, 33);
+
+        paint();
     }
     </script>
     <!-- TODO: make this cover the entire screen, with resize and all -->