Bug 175796

Summary: Call updateIsPlayingMedia whenever m_userHasInteractedWithMediaElement changes
Product: WebKit Reporter: Matt Rajca <mrajca>
Component: MediaAssignee: Matt Rajca <mrajca>
Status: RESOLVED FIXED    
Severity: Normal CC: eric.carlson, jer.noble, webkit-bug-importer
Priority: P2 Keywords: InRadar
Version: WebKit Nightly Build   
Hardware: Unspecified   
OS: Unspecified   
Attachments:
Description Flags
Patch
none
Patch none

Matt Rajca
Reported 2017-08-21 17:07:50 PDT
The Media State depends on m_userHasInteractedWithMediaElement, so force it to update as soon as m_userHasInteractedWithMediaElement changes.
Attachments
Patch (3.30 KB, patch)
2017-08-21 19:37 PDT, Matt Rajca 		no flags
DetailsFormatted DiffDiff
Patch (6.76 KB, patch)
2017-08-21 19:44 PDT, Matt Rajca 		no flags
DetailsFormatted DiffDiff
Show Obsolete (1) View All Add attachment proposed patch, testcase, etc.
Matt Rajca
Comment 1 2017-08-21 19:37:39 PDT
Created attachment 318723 [details] Patch
Matt Rajca
Comment 2 2017-08-21 19:44:07 PDT
Created attachment 318724 [details] Patch
Matt Rajca
Comment 3 2017-08-22 08:56:37 PDT
Committed r221014: <http://trac.webkit.org/changeset/221014>
Radar WebKit Bug Importer
Comment 4 2017-08-22 08:57:38 PDT
<rdar://problem/34013634>
Note You need to log in before you can comment on or make changes to this bug.