From 99172c7007494dd6faef1fe7e618f58a5569ec05 Mon Sep 17 00:00:00 2001
From: Stephen Seo <seo.disparate@gmail.com>
Date: Mon, 8 Jul 2024 18:17:20 +0900
Subject: [PATCH] Change "play" unicode to "play emoji"

---
 index.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/index.html b/index.html
index df143ac..e410568 100644
--- a/index.html
+++ b/index.html
@@ -231,7 +231,7 @@
         }
         requestAnimationFrame(on_animation_frame);
       } else {
-        document.getElementById("playpause_button").textContent = "⏵";
+        document.getElementById("playpause_button").textContent = "▶";
         is_playing = false;
       }
     }
@@ -302,7 +302,7 @@
           } else {
             is_playing = false;
             let playpause_button = document.getElementById("playpause_button");
-            playpause_button.textContent = "⏵";
+            playpause_button.textContent = "▶";
             playpause_button.style["transition"] = "all 0s linear";
             playpause_button.style["background-position"] = "left";
           }
@@ -329,7 +329,7 @@
   </div>
   <button id="left_button" class="transport_button" type="button">⬅️</button>
   <button id="right_button" class="transport_button" type="button">➡️</button>
-  <button id="playpause_button" class="transport_button" type="button">⏵</button>
+  <button id="playpause_button" class="transport_button" type="button">▶</button>
 </body>
 </html>