From: Steinar H. Gunderson <sgunderson@bigfoot.com>
Date: Tue, 22 Mar 2016 21:29:59 +0000 (+0100)
Subject: If the PV is hidden by exploration stuff, it should not be possible to inadvertedly... 
X-Git-Url: https://git.sesse.net/?p=remoteglot;a=commitdiff_plain;h=aae509c47c3031f26f12b5cc084d3f9b48543dd7;ds=inline

If the PV is hidden by exploration stuff, it should not be possible to inadvertedly select as a line later.
---

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));