- From: Mark Foltz (Google) via GitHub <sysbot+gh@w3.org>
- Date: Wed, 14 Oct 2020 18:45:47 +0000
- To: public-secondscreen@w3.org
mfoltzgoogle has just submitted a new pull request for https://github.com/w3c/remote-playback:
== Allow remote playback device to choose the remote playback source. ==
This addresses Issue #125: RemotePlaybackState enum can become misleading when changing media.src.
It clarifies that:
1. All media resources in a media element are eligible for remote playback
1. Metadata about all the media resources may be sent to the remote playback device, so it can choose the remote playback source
Some more clarification could be done:
* Adding a step to 5.2.4 ("Establishing a connection with a remote playback device") to indicate when the selection of the remote playback source happens. (Instead, I updated a non-normative note at the end of these steps.)
* Clarifying what happens when remote playback is disconnected, i.e. does the user agent automatically revert to the `.currentSrc` that was playing before remote playback was initiated.
Let me know if you want further changes along these lines.
See https://github.com/w3c/remote-playback/pull/141
--
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 14 October 2020 18:45:50 UTC