const func PRIMITIVE_WINDOW: readGif (inout file: gifFile)

Reads a GIF file into a pixmap.

Parameters:

gifFile - File that contains a GIF image.

Returns:

A pixmap with the GIF image, or PRIMITIVE_WINDOW.value if the file does not contain a GIF magic number.

Raises:

RANGE_ERROR - The file is not in the GIF file format.

const func PRIMITIVE_WINDOW: readGif (in string: gifFileName)

Reads a GIF file with the given gifFileName into a pixmap.

Parameters:

gifFileName - Name of the GIF file.

Returns:

A pixmap with the GIF image, or PRIMITIVE_WINDOW.value if the file cannot be opened or does not contain a GIF magic number.

Raises:

RANGE_ERROR - The file is not in the GIF file format.