From c91281ed9483ebf7909823add1cd1e6d9766a05d Mon Sep 17 00:00:00 2001
From: yukirij <yukirij@yukiri.net>
Date: Fri, 30 Aug 2024 09:48:13 -0700
Subject: [PATCH] Add animations to history navigation; fix animation
 continuation on navigate.

---
 www/js/interface.js | 2 ++
 www/js/scene.js     | 4 ++--
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/www/js/interface.js b/www/js/interface.js
index cc59802..fbfb257 100644
--- a/www/js/interface.js
+++ b/www/js/interface.js
@@ -1091,6 +1091,8 @@ const INTERFACE = {
                 INTERFACE_DATA.Animate.play = play;
                 INTERFACE_DATA.Animate.piece = piece;
                 INTERFACE_DATA.Animate.target = target;
+            } else {
+                INTERFACE_DATA.Animate.play = null;
             }
             INTERFACE_DATA.replay_turn = turn;
 
diff --git a/www/js/scene.js b/www/js/scene.js
index 29de196..b4c31ea 100644
--- a/www/js/scene.js
+++ b/www/js/scene.js
@@ -584,12 +584,12 @@ const SCENES = {
                         UI.button("◀", () => { INTERFACE.replay_first(); }),
                         UI.button("◁", () => { INTERFACE.replay_prev(); }),
                         ind_turn,
-                        UI.button("▷", () => { INTERFACE.replay_next(); }),
+                        UI.button("▷", () => { INTERFACE.replay_next(true); }),
                         UI.button("▶", () => { INTERFACE.replay_last(); }),
                     ]
                 );
 
-                let slider = UI.slider("turn-slider", (event) => { INTERFACE.replay_jump(event.target.value); });
+                let slider = UI.slider("turn-slider", (event) => { INTERFACE.replay_jump(event.target.value, true); });
                 slider.setAttribute("min", "0");
                 slider.setAttribute("max", "0");
                 MAIN.appendChild(UI.div([ slider ], "turn-slider-padding"));