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");
     });
   }