From 2ce508cfa3a480b13350e713900543e23de48c4b Mon Sep 17 00:00:00 2001 From: "Steinar H. Gunderson" Date: Sun, 2 Aug 2020 16:56:36 +0200 Subject: [PATCH] Fix move highlights when collapsing/uncollapsing history. --- www/js/remoteglot.js | 1 + 1 file changed, 1 insertion(+) diff --git a/www/js/remoteglot.js b/www/js/remoteglot.js index bed5a5c..2ba3fe9 100644 --- a/www/js/remoteglot.js +++ b/www/js/remoteglot.js @@ -754,6 +754,7 @@ var update_history = function() { '(collapse) ' + print_pv(0)); } + update_move_highlight(); } /** -- 2.39.2