RESOLVED FIXED 130480
Allow media engine to update HTMLMediaElement state when playing to external device
https://bugs.webkit.org/show_bug.cgi?id=130480
Summary Allow media engine to update HTMLMediaElement state when playing to external ...
Eric Carlson
Reported 2014-03-19 15:01:07 PDT
When media is playing to an external device, playback state changes made on the device (eg. with a remote control) happen without HTMLMediaElement input, so its state can get out of sync. These changes are reported to MediaPlayerPrivate by AVFoundation, but we don't have a mechanism for the media engine to update HTMLMediaElement state.
Attachments
Proposed patch (4.08 KB, patch)
2014-03-19 15:07 PDT, Eric Carlson
no flags
Eric Carlson
Comment 1 2014-03-19 15:07:42 PDT
Created attachment 227224 [details] Proposed patch
Jer Noble
Comment 2 2014-03-19 15:09:54 PDT
Comment on attachment 227224 [details] Proposed patch r=me
WebKit Commit Bot
Comment 3 2014-03-19 15:43:09 PDT
Comment on attachment 227224 [details] Proposed patch Clearing flags on attachment: 227224 Committed r165928: <http://trac.webkit.org/changeset/165928>
WebKit Commit Bot
Comment 4 2014-03-19 15:43:13 PDT
All reviewed patches have been landed. Closing bug.
Note You need to log in before you can comment on or make changes to this bug.