                             EXPORT TO GIF

The Export To Gif panel allows the exporting of the currently displayed
frame to a GIF file. 

Enter the desired name of the GIF file into the text box to specify the 
file name. The full path is required if the GIF file is not to be located
in the current directory.
