12345678910 |
- let path = null
- setInterval(() => {
- if (path !== window.location.pathname) {
- path = window.location.pathname
-
- window.mermaid.initialize({ theme: 'default' })
- window.mermaid.init(undefined, document.querySelectorAll('.lang-mermaid'))
- }
- }, 1000)
|