From 7d5e6433543116d5ecd0c4627ab1e063bf06da11 Mon Sep 17 00:00:00 2001 From: "Steinar H. Gunderson" Date: Sun, 14 Dec 2014 00:42:16 +0100 Subject: [PATCH] A small tweak in navigation. --- www/js/book.js | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/www/js/book.js b/www/js/book.js index 9ed5ee5..fff27fc 100644 --- a/www/js/book.js +++ b/www/js/book.js @@ -216,9 +216,13 @@ var show_lines = function(data, game) { } var make_move = function(move) { - history.length = move_override; - history.push(move); - move_override = history.length; + if (move_override < history.length && history[move_override] == move) { + // User effectively only moved forward in history. + ++move_override; + } else { + history.push(move); + move_override = history.length; + } update(); } window['make_move'] = make_move; -- 2.39.2