All frames during an animation are stored. The recording ends after the right mouse button is pressed while in the menu area. Finally all frames are combined in the file ”movie.gif” which can be displayed with various tools (Firefox  or realplay). If the animation is stopped with the middle mouse button while in the menu area, then the movie stops until it is released by pressing the middle mouse button again. See ”movi” for the keyboard options. Further remarks in ”How to change the format of the movie file”.
Start Recording Gif-Movie