Changeset 202332 in webkit

Timestamp:

Jun 22, 2016 10:14:02 AM (8 years ago)

Author:

jer.noble@apple.com

Message:

Update document's isPlayingMedia() state whenever media element's media state changes
​https://bugs.webkit.org/show_bug.cgi?id=159018
<rdar://problem/26586630>

Reviewed by Beth Dakin.

The Document can end up with a stale m_mediaState if its own value isn't updated when
its constituent HTMLMediaElement's m_mediaStates change.

• html/HTMLMediaElement.cpp:

(WebCore::HTMLMediaElement::updateMediaState):

Location:

trunk/Source/WebCore

Files:

• ChangeLog (modified) (1 diff)
• html/HTMLMediaElement.cpp (modified) (1 diff)

trunk/Source/WebCore/ChangeLog

@@ +1 @@
+2016-06-22  Jer Noble  <jer.noble@apple.com>
+
+        Update document's isPlayingMedia() state whenever media element's media state changes
+        https://bugs.webkit.org/show_bug.cgi?id=159018
+        <rdar://problem/26586630>
+
+        Reviewed by Beth Dakin.
+
+        The Document can end up with a stale m_mediaState if its own value isn't updated when
+        its constituent HTMLMediaElement's m_mediaStates change.
+
+        * html/HTMLMediaElement.cpp:
+        (WebCore::HTMLMediaElement::updateMediaState):
+
 2016-06-22  Simon Fraser  <simon.fraser@apple.com>
 

trunk/Source/WebCore/html/HTMLMediaElement.cpp

@@ -6862 +6862 @@
     m_mediaState = state;
     m_mediaSession->mediaStateDidChange(*this, m_mediaState);
+#if ENABLE(MEDIA_SESSION)
+    document().updateIsPlayingMedia(m_elementID);
+#else
+    document().updateIsPlayingMedia();
+#endif
 }
 #endif