Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/jgraph/drawio.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/webapp/js/embed.dev.js')
-rw-r--r--src/main/webapp/js/embed.dev.js7
1 files changed, 6 insertions, 1 deletions
diff --git a/src/main/webapp/js/embed.dev.js b/src/main/webapp/js/embed.dev.js
index d472e9d6..8c7476df 100644
--- a/src/main/webapp/js/embed.dev.js
+++ b/src/main/webapp/js/embed.dev.js
@@ -67,7 +67,12 @@
{
mathJaxLoading = true;
- window.MathJax = {
+ window.MathJax =
+ {
+ options:
+ {
+ skipHtmlTags: {'[+]': ['text']}
+ },
loader:
{
load: [(urlParams['math-output'] == 'html') ?