scroll issue seems only 'solvable' by including tweaked version of pa…

…rinfer-codemirror.js :-(
jurjanpaul · Dec 10, 2023 · e3e2ba3 · e3e2ba3
1 parent 1247796
commit e3e2ba3
Show file tree

Hide file tree

Showing 2 changed files with 665 additions and 1 deletion.
diff --git a/index.html b/index.html
@@ -445,6 +445,7 @@
     <script src="https://cdn.jsdelivr.net/npm/codemirror@5.65.6/addon/edit/matchbrackets.js"></script>
     <script src="https://cdn.jsdelivr.net/npm/codemirror@5.65.6/mode/clojure/clojure.js"></script>
     <script src="https://cdn.jsdelivr.net/npm/parinfer@3.12.0/parinfer.min.js"></script>
-    <script src="https://cdn.jsdelivr.net/npm/parinfer-codemirror@1.4.2/parinfer-codemirror.min.js"></script>
+    <!-- <script src="https://cdn.jsdelivr.net/npm/parinfer-codemirror@1.4.2/parinfer-codemirror.min.js"></script> -->
+    <script src="parinfer-codemirror.js" type="application/javascript"></script> <!-- tweaked version w.r.t. scrolling -->
   </body>
 </html>