From a07f7e734dea29073dcc67d8398d36de420d7757 Mon Sep 17 00:00:00 2001 From: "Steinar H. Gunderson" Date: Sun, 14 Dec 2014 00:45:47 +0100 Subject: [PATCH] Add back a line that was inadvertedly removed. --- www/js/book.js | 1 + 1 file changed, 1 insertion(+) diff --git a/www/js/book.js b/www/js/book.js index 2c5af12..9a2456e 100644 --- a/www/js/book.js +++ b/www/js/book.js @@ -234,6 +234,7 @@ var make_move = function(move) { // User effectively only moved forward in history. ++move_override; } else { + history.length = move_override; history.push(move); move_override = history.length; } -- 2.39.2