[webkit-reviews] review requested: [Bug 16985] Webkit video element does not repaint video with Gtklauncher : [Attachment 27292] Repaint media player when video sink allows it

[bugzilla-daemon at webkit.org]

Zan Dobersek <zandobersek at gmail.com> has asked	for review:
Bug 16985: Webkit video element does not repaint video with Gtklauncher
https://bugs.webkit.org/show_bug.cgi?id=16985

Attachment 27292: Repaint media player when video sink allows it
https://bugs.webkit.org/attachment.cgi?id=27292&action=review

------- Additional Comments from Zan Dobersek <zandobersek at gmail.com>
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.