[Webkit-unassigned] [Bug 129048] Setting playback rate on video with media controller is not ignored

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Wed Feb 19 10:48:46 PST 2014


https://bugs.webkit.org/show_bug.cgi?id=129048


Jer Noble <jer.noble at apple.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
 Attachment #224650|review?, commit-queue?      |review-
               Flag|                            |




--- Comment #4 from Jer Noble <jer.noble at apple.com>  2014-02-19 10:45:57 PST ---
(From update of attachment 224650)
View in context: https://bugs.webkit.org/attachment.cgi?id=224650&action=review

> Source/WebCore/html/HTMLMediaElement.cpp:2571
>  double HTMLMediaElement::playbackRate() const
>  {
> -    return m_playbackRate;
> +    return m_mediaController ? m_mediaController->playbackRate() : m_playbackRate;
>  }

I would prefer a new method called "effectivePlaybackRate()".  Changing playbackRate() to return the media controller rate violates the spec: "The [playbackRate] attribute is mutable: on getting it must return the last value it was set to, or 1.0 if it hasn't yet been set; on setting the attribute must be set to the new value, and the playback will change speed (if the element is potentially playing and there is no current media controller)."

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.


More information about the webkit-unassigned mailing list