Bug 175796

Summary:

Call updateIsPlayingMedia whenever m_userHasInteractedWithMediaElement changes

Product:

WebKit

Reporter:

Matt Rajca <mrajca>

Component:

Media

Assignee:

Matt Rajca <mrajca>

Status:

RESOLVED FIXED

Severity:

Normal

CC:

eric.carlson, jer.noble, webkit-bug-importer

Priority:

Keywords:

InRadar

Version:

WebKit Nightly Build

Hardware:

Unspecified

OS:

Unspecified

Attachments:

Description	Flags
Patch	none
Patch	none

Description Matt Rajca 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.

Comment 1 Matt Rajca 2017-08-21 19:37:39 PDT

Created attachment 318723 [details]
Patch

Comment 2 Matt Rajca 2017-08-21 19:44:07 PDT

Created attachment 318724 [details]
Patch

Comment 3 Matt Rajca 2017-08-22 08:56:37 PDT

Committed r221014: <http://trac.webkit.org/changeset/221014>

Comment 4 Radar WebKit Bug Importer 2017-08-22 08:57:38 PDT

<rdar://problem/34013634>