From 0b8e23ee197dcc239a1ea0d818b541cba36b98b6 Mon Sep 17 00:00:00 2001 From: "Steinar H. Gunderson" Date: Fri, 30 Dec 2022 10:46:03 +0100 Subject: [PATCH] Fix an issue where two PVs would be printed. --- www/js/remoteglot.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/www/js/remoteglot.js b/www/js/remoteglot.js index 1218dd3..ae522e2 100644 --- a/www/js/remoteglot.js +++ b/www/js/remoteglot.js @@ -1903,7 +1903,7 @@ function update_move_highlight() { document.getElementById("pvtitle").textContent = "Exploring:"; current_display_line.start_display_move_num = 0; display_lines.push(current_display_line); - document.getElementById("pv").append(print_pv(display_lines.length - 1, null)); // FIXME + document.getElementById("pv").replaceChildren(print_pv(display_lines.length - 1, null)); // FIXME display_line_num = display_lines.length - 1; // Clear out the PV, so it's not selected by anything later. -- 2.39.2