chore: get working again on chrome and ready to distribute unpacked

2024-02-20 22:06:22 -08:00 · 2024-02-20 22:06:22 -08:00 · 42de3d29e1
commit 42de3d29e1
parent 0567da019f
6 changed files with 96 additions and 5 deletions
--- a/etc/options.html
+++ b/etc/options.html
@ -76,6 +76,7 @@
  <br/>
  <label for="algebra">Show the GeoGebra algebra pane</label>
  <input type="checkbox" id="algebra">
+  <script src="browser-polyfill.js" type="module"></script>
  <script src="options.js" type="module"></script>
 </body>