From d35c6f46dc92565c54213c4ea17c67f0e0938531 Mon Sep 17 00:00:00 2001
From: "Steinar H. Gunderson" <sgunderson@bigfoot.com>
Date: Sat, 24 Dec 2022 23:58:24 +0100
Subject: [PATCH] Use innerHTML slightly less (it is costly).

---
 www/js/remoteglot.js | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/www/js/remoteglot.js b/www/js/remoteglot.js
index ee7495f..f4581cf 100644
--- a/www/js/remoteglot.js
+++ b/www/js/remoteglot.js
@@ -897,8 +897,11 @@ let update_refutation_lines = function() {
 			continue;
 		}
 
-		let move = "<a class=\"move\" href=\"javascript:show_line(" + display_lines.length + ", " + 0 + ");\">" + line['move'] + "</a>";
-		move_td.innerHTML = move;
+		let move_link = document.createElement("a");
+		move_link.classList.add("move");
+		move_link.setAttribute("href", "javascript:show_line(" + display_lines.length + ", 0)");
+		move_link.textContent = line['move'];
+		move_td.appendChild(move_link);
 
 		let score_td = document.createElement("td");
 		tr.appendChild(score_td);
-- 
2.39.2