in pixilang 1.x and 2.x there is a function to export video as avi (look in the old chang):
id would be fine in pixilang 3.x or another way to it?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();
thanks - greeting kmatze