With this page you can control the output settings: Double Buffering and name of video file.
The file is recorded by the Toolbar button with the video camera icon in the Popup Menu.
Double Buffering is a special drawing technique, that allows flicker-free animations. Double Buffering is only used if the plot control is active.
The video file name is the name of the AVI-file used for generation of video output from the plot