Remove Javascript XML pretty printer.

1 files changed, 0 insertions, 43 deletions

diff --git a/static/script.js b/static/script.js
index ce2cc4d7..afbb66eb 100644
--- a/static/script.js
+++ b/static/script.js
@@ -1,46 +1,3 @@
-/* ------- XML Formatting --------------------------- */
-
-function start_tag(str) {
-    return "<span class='html-tag'>&lt;" + str + "&gt;</span>";
-}
-
-function end_tag(str) {
-    return "<span class='html-tag'>&lt;/" + str + "&gt;</span>";
-}
-
-function self_tag(str) {
-    return "<span class='html-tag'>&lt;" + str + "/&gt;</span>";
-}
-
-function istring(indent) {
-    return "".padStart(indent);
-}
-
-function pretty_print_xml(xml, indent=0) {
-    /* pretty_print_xml(xml.documentElement) */
-
-    let tag = xml.tagName;
-
-
-    if (xml.childElementCount == 0) {
-        if (xml.textContent) {
-            return istring(indent)
-                + start_tag(tag)
-                + "<b>" + xml.textContent + "</b>"
-                + end_tag(tag);
-        } else {
-            return istring(indent) + self_tag(tag);
-        }
-    } else {
-        let str = istring(indent) + start_tag(tag) + "<br/>";
-        for (let child of xml.children) {
-            str += pretty_print_xml(child, indent + 1) + "<br/>";
-        }
-        str += istring(indent) + end_tag(tag);
-        return str;
-    }
-}
-
 /* -------------------------------------------------- */
 
 function round_time (time, fraction) {