From 15615d6f73d9ebb71612330ff6e79957c46dbb01 Mon Sep 17 00:00:00 2001
From: Raphael Forment <raphael.forment@gmail.com>
Date: Sun, 20 Aug 2023 13:02:12 +0200
Subject: [PATCH] cosmetic change

---
 src/main.ts | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/main.ts b/src/main.ts
index 59c533f..9632139 100644
--- a/src/main.ts
+++ b/src/main.ts
@@ -715,6 +715,7 @@ export class Editor {
       .querySelectorAll(possible_selectors[selector])
       .forEach((button) => {
         if (highlight) button.children[0].classList.add("fill-orange-300");
+        if (highlight) button.children[0].classList.add("animate-pulse");
       });
     // All other buttons must lose the highlighting
     document
@@ -725,12 +726,14 @@ export class Editor {
         button.children[0].classList.remove("fill-orange-300");
         button.children[0].classList.remove("text-orange-300");
         button.children[0].classList.remove("bg-orange-300");
+        button.children[0].classList.remove("animate-pulse");
       });
   }
 
   unfocusPlayButtons() {
     document.querySelectorAll('[id^="play-button-"]').forEach((button) => {
       button.children[0].classList.remove("fill-orange-300");
+      button.children[0].classList.remove("animate-pulse");
     });
   }