play button changed to Music

RedHat-Israel · Aug 27, 2023 · 3207b26 · 3207b26
1 parent 4589e77
commit 3207b26
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/rose/web/game.js b/rose/web/game.js
@@ -427,7 +427,7 @@ var ROSE = (function() {
             if (self.playing) {
                 self.playing = false;
                 self.pause();
-                $(this).text("Play");
+                $(this).text("Music");
             } else {
                 self.playing = true;
                 self.play();

diff --git a/rose/web/index.html b/rose/web/index.html
@@ -14,7 +14,7 @@
 
         <button id="start" disabled>Start</button>
         <button id="stop"  disabled>Stop</button>
-        <button id="music_ctl">Play</button>
+        <button id="music_ctl">Music</button>
         <label id="info"></label>
 
         <div id="rate_ctl">