Add new media options

2026-06-12 02:29:59 +00:00 · 2018-12-21 23:58:42 +00:00
parent 45b976b304
commit 0625cb0444
4 changed files with 143 additions and 81 deletions
--- a/ext/src/_locales/en/messages.json
+++ b/ext/src/_locales/en/messages.json
@@ -76,6 +76,12 @@
  , "optionsMediaEnabled": {
        "message": "Media casting enabled"
    }
+  , "optionsMediaSyncElement": {
+        "message": "Sync receiver state with media element"
+    }
+  , "optionsMediaStopOnUnload": {
+        "message": "Stop receiver playback on page unload"
+    }

  , "optionsLocalMediaCategoryName": {
        "message": "Local media casting"