From: Steinar H. Gunderson <sgunderson@bigfoot.com>
Date: Fri, 30 Dec 2022 09:46:03 +0000 (+0100)
Subject: Fix an issue where two PVs would be printed.
X-Git-Url: https://git.sesse.net/?p=remoteglot;a=commitdiff_plain;h=0b8e23ee197dcc239a1ea0d818b541cba36b98b6

Fix an issue where two PVs would be printed.
---

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.