cosmetic change

This commit is contained in:
2023-08-20 13:02:12 +02:00
parent b9cf517a7f
commit 15615d6f73

View File

@ -715,6 +715,7 @@ export class Editor {
.querySelectorAll(possible_selectors[selector]) .querySelectorAll(possible_selectors[selector])
.forEach((button) => { .forEach((button) => {
if (highlight) button.children[0].classList.add("fill-orange-300"); 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 // All other buttons must lose the highlighting
document document
@ -725,12 +726,14 @@ export class Editor {
button.children[0].classList.remove("fill-orange-300"); button.children[0].classList.remove("fill-orange-300");
button.children[0].classList.remove("text-orange-300"); button.children[0].classList.remove("text-orange-300");
button.children[0].classList.remove("bg-orange-300"); button.children[0].classList.remove("bg-orange-300");
button.children[0].classList.remove("animate-pulse");
}); });
} }
unfocusPlayButtons() { unfocusPlayButtons() {
document.querySelectorAll('[id^="play-button-"]').forEach((button) => { document.querySelectorAll('[id^="play-button-"]').forEach((button) => {
button.children[0].classList.remove("fill-orange-300"); button.children[0].classList.remove("fill-orange-300");
button.children[0].classList.remove("animate-pulse");
}); });
} }