Fix an issue where two PVs would be printed.

diff --git a/www/js/remoteglot.js b/www/js/remoteglot.js
index 1218dd3cbe9ae719b4409374564c1fb37510db6f..ae522e26113c9869d61ef81d47bce9d4f046c4d7 100644 (file)
--- 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.