[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


Gustavo Noronha (kov) <gns at gnome.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |




--- Comment #19 from Gustavo Noronha (kov) <gns at gnome.org>  2010-03-16 07:37:42 PST ---
This makes videos not go out of 'playing' when they end, UI-wise. I assume the
real problem is we are not marking the video 'paused' attribute to true
correctly, but before we fix this, using that attribute to make UI decisions
sounds unwise. Let's make this testable, fix the root cause, and then we can
reland the optimization.

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