Fix pprint plugin

2022-12-22 22:56:27 +01:00 · 2022-12-22 22:56:27 +01:00 · 2463f54680
commit 2463f54680
parent e675ad3353
4 changed files with 9 additions and 2 deletions
--- a/resources/public/test/codemirror.html
+++ b/resources/public/test/codemirror.html
@ -8,6 +8,7 @@
    <script src="https://unpkg.com/react-dom@18/umd/react-dom.production.min.js"></script>
    <script src="/js/scittle.reagent.js">    </script>
    <script src="/js/scittle.re-frame.js">    </script>
+    <script src="/js/scittle.pprint.js">    </script>
    <script type="importmap">
      {
        "imports": {