Fix another jQuery-ism.

diff --git a/www/js/remoteglot.js b/www/js/remoteglot.js
index 2d74a3953483c85497e75265a81b14d556e69161..183d372f49dc5935d7a9aa42a7a90571cf3f410a 100644 (file)
--- a/www/js/remoteglot.js
+++ b/www/js/remoteglot.js
@@ -809,9 +809,9 @@ var update_history = function() {
        } else if (truncate_display_history) {
                document.getElementById("history").innerHTML = print_pv(0, null, 8, true);
        } else {
-               document.getElementById("history").html(
+               document.getElementById("history").innerHTML =
                        '(<a class="move" href="javascript:collapse_history(true)">collapse</a>) ' +
-                       print_pv(0, null));
+                       print_pv(0, null);
        }
 }