From b6ba9b79dfa8678d718e09c20d0ae99918c16a49 Mon Sep 17 00:00:00 2001 From: rajat-ht Date: Thu, 29 May 2025 17:06:25 +0530 Subject: [PATCH] chore: update as per PR comment --- .../mermaid/src/docs/.vitepress/components/TopBar.vue | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/packages/mermaid/src/docs/.vitepress/components/TopBar.vue b/packages/mermaid/src/docs/.vitepress/components/TopBar.vue index 36038bfee..fb79bd528 100644 --- a/packages/mermaid/src/docs/.vitepress/components/TopBar.vue +++ b/packages/mermaid/src/docs/.vitepress/components/TopBar.vue @@ -22,17 +22,25 @@ const taglines: Taglines[] = [ ]; const index: Ref = ref(0); +const isPaused: Ref = ref(false); onMounted(() => { index.value = Math.floor(Math.random() * taglines.length); setInterval(() => { + if (isPaused.value) { + return; + } index.value = (index.value + 1) % taglines.length; }, 5_000); });