[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 #21 from Philippe Normand <pnormand at igalia.com>  2010-05-13 01:51:21 PST ---
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?

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