<div dir="ltr">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.<div><br></div>
<div>This solution mostly works but phantomjs doesn't include features like video tag support or webgl.</div><div><br></div><div>It looks like webkitgtk+ includes a full stack rendering with video tag(via gstreamer) and webgl support.<br clear="all">
<div><br></div><div>Where can i start investigating in the code how to use webkitgtk+ to snapshot a rendering of a web page at time intervals?</div><div><br></div><div><div>Because we want this to run as an automated process on a headless linux system, screencasting tools are out of the question.<br>
</div></div><div><br></div><div><span style="font-size:12.800000190734863px;font-family:arial,sans-serif">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. </span><br>
</div><div><span style="font-size:12.800000190734863px;font-family:arial,sans-serif"><br></span></div><div><div class="" style="font-family:arial,sans-serif;font-size:12.800000190734863px"></div></div><div>I noticed some mention of a webkitvideosink from <a href="http://gstreamer.freedesktop.org/conference/slides/webkit.pdf" target="_blank">http://gstreamer.freedesktop.org/conference/slides/webkit.pdf</a> but not much details of how it works.<br>
</div><div><br></div>
<div><br></div><div>-- <br></div>Tommy Chheng
</div></div>