From aae509c47c3031f26f12b5cc084d3f9b48543dd7 Mon Sep 17 00:00:00 2001 From: "Steinar H. Gunderson" Date: Tue, 22 Mar 2016 22:29:59 +0100 Subject: [PATCH 1/1] If the PV is hidden by exploration stuff, it should not be possible to inadvertedly select as a line later. --- www/js/remoteglot.js | 3 +++ 1 file changed, 3 insertions(+) diff --git a/www/js/remoteglot.js b/www/js/remoteglot.js index a991a02..4e7a2ef 100644 --- a/www/js/remoteglot.js +++ b/www/js/remoteglot.js @@ -1647,6 +1647,9 @@ var update_move_highlight = function() { display_lines.push(current_display_line); $("#pv").html(print_pv(display_lines.length - 1)); display_line_num = display_lines.length - 1; + + // Clear out the PV, so it's not selected by anything later. + display_lines[1].pretty_pv = []; } highlighted_move = $("#automove" + display_line_num + "-" + (current_display_move - current_display_line.start_display_move_num)); -- 2.39.2