[Webkit-unassigned] [Bug 16985] Webkit video element does not repaint video with Gtklauncher
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Tue Feb 3 14:04:28 PST 2009
https://bugs.webkit.org/show_bug.cgi?id=16985
zandobersek at gmail.com changed:
What |Removed |Added
----------------------------------------------------------------------------
Attachment #27292| |review?
Flag| |
------- Comment #4 from zandobersek at gmail.com 2009-02-03 14:04 PDT -------
Created an attachment (id=27292)
--> (https://bugs.webkit.org/attachment.cgi?id=27292&action=view)
Repaint media player when video sink allows it
A new signal is introduced in WebKitVideoSink, which is emitted when sink's
surface is updated and the repaint is possible. Callback then calls
WebCore::MediaPlayerPrivate::repaint and the repaint is done properly.
All in all, it fixes this bug's problem.
--
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.
More information about the webkit-unassigned
mailing list