math-jax widget: make it possible to suppress configuration

Giving #:config #f will cause no configuration part to be added to the MathJax URL. This is needed for MathJax 3, which does configuration a different way, but is innocuous for MathJax 2 or earlier.
greghendershott · Feb 15, 2021 · e2d2498 · e2d2498
1 parent 6124c38
commit e2d2498
Showing 1 changed file with 16 additions and 7 deletions.
diff --git a/frog/widgets.rkt b/frog/widgets.rkt
@@ -326,7 +326,8 @@
 
 (define/doc (math-jax [#:src src string?
                        "https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js"]
-                      [#:config config string? "TeX-AMS-MML_HTMLorMML"]
+                      [#:config config (or/c #f string?)
+                       "TeX-AMS-MML_HTMLorMML"]
                       list?)
   @{@itemlist[#:style 'ordered
               @item{Use this in the @tt{<head>} of your @secref["page-template"].}
@@ -336,12 +337,20 @@
                     markdown @litchar{\} already has a meaning.}
               @item{You can specify the source URL and configuration options
                     with the @tt{src} & @tt{config} arguments: they default to
-                    something reasonable.}]}
-  @list{
-        <script type="text/javascript" async
-                src="@|src|?config=@|config|">
-        </script>
-       })
+                    something reasonable.  If the @tt{config} argument is
+                    given as @tt{#f} then the configuration is omitted, which
+                    which is right for MathJax 3.  In this case you either
+                    will need to use one of the default setups or hand-craft
+                    your own configuration.}]}
+  @(if (not config)
+       @list{
+             <script type="text/javascript" async
+                     src="@|src|">
+             </script>}
+       @list{
+             <script type="text/javascript" async
+                     src="@|src|?config=@|config|">
+             </script>}))
 
  (define/doc (piwik [site string?]
                     [domain string?]