1 files changed, 8 insertions, 4 deletions

diff --git a/index.html b/index.html
index 60bf3ef..8587e99 100644
--- a/index.html
+++ b/index.html
@@ -279,7 +279,7 @@ map = \\(0 \\\\\(0 (6 4) (6 3) (6 2) (6 1)))
           <em id="resolutionConfigLabel" style="font-style: normal">1000</em>
         </fieldset>
         <b>Warning:</b> Larger resolutions will often need exponentially more
-        memory/computation!)
+        memory/computation!
         <br />
         <br />
         <b>Debug information:</b>
@@ -307,16 +307,21 @@ map = \\(0 \\\\\(0 (6 4) (6 3) (6 2) (6 1)))
     </main>
     <script src="main.js"></script>
     <script charset="utf-8">
+      const params = new URL(window.location.href);
+
       let useWebGL = true;
+      if (params.searchParams.has("webgl"))
+        useWebGL = params.searchParams.get("webgl") == "true";
+
       const isPhone = /iPhone|iPad|iPod|Android/i.test(navigator.userAgent);
       const isSafari = /^((?!chrome|android).)*safari/i.test(
         navigator.userAgent,
       );
-      if (isPhone || isSafari) {
+      if ((isPhone || isSafari) && !params.searchParams.has("webgl")) {
         useWebGL = false;
         MAXRES = 3;
         window.debugInfo.innerHTML +=
-          "detected Phone/Safari, falling back to Canvas with MAXRES=3.<br>";
+          "detected phone/Safari, falling back to Canvas with MAXRES=3. Reload with ?webgl=true to still try webgl.<br>";
       }
 
       const canvas = window.canvas;
@@ -353,7 +358,6 @@ map = \\(0 \\\\\(0 (6 4) (6 3) (6 2) (6 1)))
         }, 0);
       };
 
-      const params = new URL(window.location.href);
       if (params.searchParams.has("term")) {
         const t = parseBLC(decodeBase64(params.searchParams.get("term")))[0];
         window.term.innerText = show(t);