How to export animation in Real Time mode

[mwestphal (Mathieu Westphal (Kitware))]

Please do not use .avi output, but the .png output and then create a movies from the pngs.