From ac1f9b4247f7eefacc969bfcbdbf30984c8e15e1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sven=20M=C3=A4der?= <maeder@phys.ethz.ch>
Date: Fri, 29 Jan 2021 15:49:20 +0100
Subject: [PATCH] Add config keys for alternative patterns

---
 src/editor/serialize.ts | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/src/editor/serialize.ts b/src/editor/serialize.ts
index 6b1d97a0ef..6655c64347 100644
--- a/src/editor/serialize.ts
+++ b/src/editor/serialize.ts
@@ -55,7 +55,9 @@ export function htmlSerializeIfNeeded(model: EditorModel, {forceHTML = false} =
         // conditions for display math detection $$...$$:
         // - pattern starts at beginning of line or is not prefixed with backslash or dollar
         // - left delimiter ($$) is not escaped by backslash
-        const displayPatternDollar = "(^|[^\\\\$])\\$\\$(([^$]|\\\\\\$)+?)\\$\\$";
+        const displayPatternAlternative = (SdkConfig.get()['latex_maths_delims'] ||
+            {})['display_pattern_alternative'] ||
+            "(^|[^\\\\$])\\$\\$(([^$]|\\\\\\$)+?)\\$\\$";
 
         // conditions for inline math detection $...$:
         // - pattern starts at beginning of line, follows whitespace character or punctuation
@@ -63,14 +65,16 @@ export function htmlSerializeIfNeeded(model: EditorModel, {forceHTML = false} =
         // - left and right delimiters ($) are not escaped by backslashes
         // - left delimiter is not followed by whitespace character
         // - right delimiter is not prefixed with whitespace character
-        const inlinePatternDollar = "(^|\\s|[.,!?:;])(?!\\\\)\\$(?!\\s)(([^$\\n]|\\\\\\$)*([^\\\\\\s\\$]|\\\\\\$)(?:\\\\\\$)?)\\$";
+        const inlinePatternAlternative = (SdkConfig.get()['latex_maths_delims'] ||
+            {})['inline_pattern_alternative'] ||
+            "(^|\\s|[.,!?:;])(?!\\\\)\\$(?!\\s)(([^$\\n]|\\\\\\$)*([^\\\\\\s\\$]|\\\\\\$)(?:\\\\\\$)?)\\$";
 
-        md = md.replace(RegExp(displayPatternDollar, "gm"), function(m, p1, p2) {
+        md = md.replace(RegExp(displayPatternAlternative, "gm"), function(m, p1, p2) {
             const p2e = AllHtmlEntities.encode(p2);
             return `${p1}<div data-mx-maths="${p2e}">\n\n</div>\n\n`;
         });
 
-        md = md.replace(RegExp(inlinePatternDollar, "gm"), function(m, p1, p2) {
+        md = md.replace(RegExp(inlinePatternAlternative, "gm"), function(m, p1, p2) {
             const p2e = AllHtmlEntities.encode(p2);
             return `${p1}<span data-mx-maths="${p2e}"></span>`;
         });