Push updates to open receiver selectors

2026-06-11 01:59:58 +00:00 · 2020-08-09 17:04:08 +01:00
parent 2bd9c4071f
commit f002acad8c
7 changed files with 50 additions and 19 deletions
--- a/ext/src/lib/messaging.ts
+++ b/ext/src/lib/messaging.ts
@@ -25,8 +25,8 @@ export type Messages = [
        subject: "popup:/populateReceiverList"
      , data: {
            receivers: Receiver[]
-          , defaultMediaType: ReceiverSelectorMediaType
-          , availableMediaTypes: ReceiverSelectorMediaType
+          , defaultMediaType?: ReceiverSelectorMediaType
+          , availableMediaTypes?: ReceiverSelectorMediaType
        }
    }
  , {