gif export menu

--------------------------------
This menu lets you convert IcoMetrics images into GIF files. GIF is a popular image file format that is used on many bulletin boards. GIF is not particularly good for storing color images that will be processed quantitatively, because it is not capable of storing full RGB values for each pixel.

To export a GIF file, use the following procedure:

  1. Enter the name of the image file in the B&W, Color, Screen, or Bitmap menu field.
  2. Set the output GIF file name if you want to use a name different from the IcoMetrics image name.
  3. Set the size of the GIF file if you want a size different from the IcoMetrics image size.
  4. Click on EXPORT GIF FILE.

The created file's extension will be .gif, unless you explicitly specify an extension in step 2.