From f4825dcbf907405029cd45b635f0af4c9e73ac8f Mon Sep 17 00:00:00 2001
From: Jannis Baum <jannis.baum@gmail.com>
Date: Mon, 16 Dec 2024 19:35:23 -0500
Subject: [PATCH] fix(#194): auto-reload mermaid

---
 static/client.mjs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/static/client.mjs b/static/client.mjs
index 7a28ac9..4e73997 100644
--- a/static/client.mjs
+++ b/static/client.mjs
@@ -43,6 +43,9 @@ ws.addEventListener('message', (event) => {
     switch (key) {
         case 'UPDATE':
             document.getElementById('body-content').innerHTML = value;
+            (async () => {
+                await mermaid.run({ querySelector: '.mermaid' });
+            })();
             break;
         case 'SCROLL':
             viv_scrollTo(value);