Swap $ and $$ delimiters order to avoid conflicts.

9 years ago · c782cb327f
parent c03c133bbd
commit c782cb327f
1 changed files with 4 additions and 3 deletions
--- a/notebook/static/notebook/js/codemirror-ipythongfm.js
+++ b/notebook/static/notebook/js/codemirror-ipythongfm.js
@ -33,14 +33,15 @@

        return CodeMirror.multiplexingMode(
            gfm_mode,
+            // By defining the $$ delimiter before the $ delimiter we don't run
+            // into the problem that $$ is interpreted as two consecutive $.
            {
-                open: "$", close: "$",
+                open: "$$", close: "$$",
                mode: tex_mode,
                delimStyle: "delimit"
            },
            {
-                // not sure this works as $$ is interpreted at (opening $, closing $, as defined just above)
-                open: "$$", close: "$$",
+                open: "$", close: "$",
                mode: tex_mode,
                delimStyle: "delimit"
            },