From e413d8f176da1e3233ca913c1494aeb1afed5bcc Mon Sep 17 00:00:00 2001 From: "Steinar H. Gunderson" Date: Fri, 23 Dec 2022 10:46:06 +0100 Subject: [PATCH] Fix another jQuery-ism. --- www/js/remoteglot.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/www/js/remoteglot.js b/www/js/remoteglot.js index 2d74a39..183d372 100644 --- 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 = '(collapse) ' + - print_pv(0, null)); + print_pv(0, null); } } -- 2.39.2