web: Set page title in player.js

ruffle-rs · Apr 15, 2021 · 4d2c8ec · 4d2c8ec
1 parent 9021da8
commit 4d2c8ec
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/web/packages/extension/src/player.js b/web/packages/extension/src/player.js
@@ -23,6 +23,13 @@ window.addEventListener("DOMContentLoaded", () => {
         return;
     }
 
+    try {
+        const pathname = new URL(swfUrl).pathname;
+        document.title = pathname.substring(pathname.lastIndexOf("/") + 1);
+    } catch (_) {
+        // Ignore URL parsing errors.
+    }
+
     player = ruffle.createPlayer();
     player.id = "player";
     document.getElementById("main").append(player);