[Webkit-unassigned] [Bug 35333] [GTK] video playback position query flood when mouse over the video element

[bugzilla-daemon at webkit.org]

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





--- Comment #22 from Eric Carlson <eric.carlson at apple.com>  2010-05-14 08:10:47 PST ---
(In reply to comment #21)
> The spec also mentions:
> 
> It is possible for a media element to have both ended playback and paused for user interaction at the 
> same time.
> 
> Our player pauses itself at the end of playback but the media element doesn't know about it because its 
> pause() method doesn't query the player.
> 
> So I think we could have it. It would require the HTMLMediaElement::paused() to proxy to 
> MediaPlayer::paused(), when a player is available. If not the m_paused attribute could be used as 
> fallback. What do you think?

I think it is definitely worth a try. Hopefully it won't require significant changes to layout tests, if it does I fear that it will break existing content, but lets see.

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