From f583fe3b10dea14706a269e888bce003d72bc533 Mon Sep 17 00:00:00 2001
From: "Eevee (Evelyn Woods)" <eevee.git@veekun.com>
Date: Wed, 23 Sep 2020 21:43:24 -0600
Subject: [PATCH] =?UTF-8?q?Rewind=20at=202=C3=97=20speed?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 js/main.js | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/js/main.js b/js/main.js
index 45d98d6..805ca1e 100644
--- a/js/main.js
+++ b/js/main.js
@@ -661,7 +661,12 @@ class Player extends PrimaryView {
                 this.update_ui();
             }
         }
-        this._advance_handle = window.setTimeout(this._advance_bound, 1000 / TICS_PER_SECOND);
+        let dt = 1000 / TICS_PER_SECOND;
+        if (this.state === 'rewinding') {
+            // Rewind faster than normal time
+            dt *= 0.5;
+        }
+        this._advance_handle = window.setTimeout(this._advance_bound, dt);
     }
 
     // Redraws every frame, unless the game isn't running