diff options
Diffstat (limited to 'public/js/extra.js')
| -rw-r--r-- | public/js/extra.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/public/js/extra.js b/public/js/extra.js index 9c21939f..46036892 100644 --- a/public/js/extra.js +++ b/public/js/extra.js @@ -161,6 +161,8 @@ function replaceExtraTags(html) { return html; } +if (typeof mermaid !== 'undefined' && mermaid) mermaid.startOnLoad = false; + //dynamic event or object binding here function finishView(view) { //todo list |