To generate
a GIF (*.gif) file, it is necessary to set the output format properly.
For that open
the "Profile Settings" dialog window (or make use of the "Properties"
window). In the Main section select "GIF, Graphics Interchange Format"
from the "Output
Format" list:
Image encoding parameters.
Colors - the number of
colors used for representation of the produced image. This parameter can
take one of the following values: