[webkit-help] rendering a webkit output into a video file

Benjamin Poulain benjamin at webkit.org
Wed Apr 16 15:41:31 PDT 2014

On 4/16/14, 8:19 AM, Tommy Chheng wrote:
> I'm working on a system to render an HTML5 animation to a video file. 
> So far, we have been able to use phantomjs to output image files at 
> time intervals and combine them together with ffmpeg.
> This solution mostly works but phantomjs doesn't include features like 
> video tag support or webgl.
> It looks like webkitgtk+ includes a full stack rendering with video 
> tag(via gstreamer) and webgl support.
> Where can i start investigating in the code how to use webkitgtk+ to 
> snapshot a rendering of a web page at time intervals?
> Because we want this to run as an automated process on a headless 
> linux system, screencasting tools are out of the question.
> Also, to give an analogy, if we have an animation system written in 
> OpenGL, we can easily capture image frames to video 
> using glReadPixels. We want the equivalent "glReadPixels" for webkitgtk.
> I noticed some mention of a webkitvideosink from 
> http://gstreamer.freedesktop.org/conference/slides/webkit.pdf but not 
> much details of how it works.
In theory that is possible, the software could flatten the output layer 
tree at each frame and get the pixels back. I don't know what kind of 
support exists for GTK+.

I suggest you to ask this question on the webkit-gtk mailing list.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.webkit.org/pipermail/webkit-help/attachments/20140416/7856292c/attachment.html>

More information about the webkit-help mailing list