in pixilang 1.x and 2.x there is a function to export video as avi (look in the old chang):
v1.3 (31 dec 2007):
added commands for video-export to AVI file; at the moment working in Windows only;
added command resume_video_export();
id would be fine in pixilang 3.x or another way to it?
thanks - greeting kmatze