(25) Fixes theam#25

Author: NickSeagull

src/common/HaskellDo/State.hs

@@ -33,6 +33,7 @@ import qualified HaskellDo.Compilation.Types as Compilation
 import qualified HaskellDo.Toolbar.State as Toolbar
 import qualified HaskellDo.Toolbar.Types as Toolbar
 import qualified Foreign.JQuery as JQuery
+import qualified Foreign.MathJax as MathJax
 
 initialAppState :: AppState
 initialAppState = AppState
@@ -98,6 +99,7 @@ _update (ToolbarAction Toolbar.Compile) appState = do
                 Compilation.Compile
                 (compilationState appState)
             localIO $ JQuery.hide ".dimmedBackground"
+            localIO $ MathJax.typeset "outputDisplay"
             return appState
                 { compilationState = newCompilationState
                 }

src/ghc-specific/Foreign/MathJax.hs

@@ -0,0 +1,5 @@
+module Foreign.MathJax where
+
+typeset :: String -> IO ()
+typeset _ = return ()
+

src/ghcjs-specific/Foreign/MathJax.hs

@@ -0,0 +1,11 @@
+module Foreign.MathJax where
+
+import GHCJS.Types
+import Data.JSString
+
+foreign import javascript unsafe "MathJax.Hub.Queue(['Typeset', MathJax.Hub, $1]);"
+    js_typeset :: JSString -> IO ()
+
+typeset :: String -> IO ()
+typeset = js_typeset . pack
+

static/out.jsexe/index.html

@@ -40,7 +40,15 @@
     <script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.25.2/mode/haskell/haskell.min.js"></script>
     <script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.25.2/mode/htmlmixed/htmlmixed.min.js"></script>
     <script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.25.2/mode/meta.min.js"></script>
+    <script src='https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-MML-AM_CHTML'></script>
     <script>
+        MathJax.Hub.Config({
+            tex2jax: {
+                inlineMath: [ ['$','$'], ["\\(","\\)"] ],
+                displayMath: [ ['$$','$$'], ["\\[","\\]"] ],
+                processEscapes: false,
+            }
+        })
         let cmdOrCtrlReturnPressed = false;
         let alreadyHighlighted = false;
     </script>