comparison: eric6/UI/Previewers/MarkdownExtensions.py
eric6/UI/Previewers/MarkdownExtensions.py
- changeset 7524
- 282680dae446
- parent 7360
- 9190402e4505
- child 7923
- 91e843545d9a
equal
deleted
inserted
replaced
84 |
84 |
85 old_line = line |
85 old_line = line |
86 |
86 |
87 if is_mermaid: |
87 if is_mermaid: |
88 new_lines.append('') |
88 new_lines.append('') |
89 new_lines.append( |
|
90 '<script>mermaid.initialize({startOnLoad:true});</script>' |
|
91 ) |
|
92 |
89 |
93 return new_lines |
90 return new_lines |
94 |
91 |
95 |
92 |
96 class MermaidExtension(Extension): |
93 class MermaidExtension(Extension): |