set edit boxes from url

Author: davidcarlisle

mathfont-table.js

@@ -45,6 +45,9 @@ const urlP = new URLSearchParams(document.location.search);
 
 const fontsP=urlP.get("fonts");
 const widthP=urlP.get("w");
+const ltxP=urlP.get("ltx");
+const amP=urlP.get("am");
+const mmlP=urlP.get("mml");
 
 document.addEventListener("DOMContentLoaded", () => {
 

mathml-table2.html

@@ -274,6 +274,9 @@ <h3>MathML Font Display</h3>
        minwv.textContent = event.target.value;
        minwcss.textContent = "th,td{min-width: " + event.target.value +"em;}";
    });
+   if(ltxP) document.getElementById("ltxedit").value= LZString.decompressFromEncodedURIComponent(ltxP);
+   if(amP)  document.getElementById("asciimathedit").value= LZString.decompressFromEncodedURIComponent(amP);
+   if(mmlP) document.getElementById("mmledit").value= LZString.decompressFromEncodedURIComponent(mmlP);
  </script>
 
    <div id="flow">