Fix move highlights when collapsing/uncollapsing history.

diff --git a/www/js/remoteglot.js b/www/js/remoteglot.js
index bed5a5cdf8ad3d1fdd4de3eb9cff1f8b39d17b4b..2ba3fe95248401613e28c4498dbdcf1ba1c0f6a7 100644 (file)
--- a/www/js/remoteglot.js
+++ b/www/js/remoteglot.js
@@ -754,6 +754,7 @@ var update_history = function() {
                        '(<a class="move" href="javascript:collapse_history(true)">collapse</a>) ' +
                        print_pv(0));
        }
+       update_move_highlight();
 }
 
 /**