Next: Help Up: Hardcopy Previous: Png-Hardcopy Contents

###
Start Recording Gif-Movie

All frames during an animation are stored. The recording ends after the right mouse button was pressed while in the menu area. Finally all frames are combined in the file ``movie.gif'' which can be displayed with various tools (Netscape [11] or realplay). If the animation is stopped with the middle mouse button while in the menu area then also the movie stops until it is released by pressing the middle mouse button again. See also ``movi'' for the keyboard options.