Use the free editor GIMP to adjust the size of a GIF file. Because the GIF extension supports animation, many programs are not capable of re-sizing an image while simultaneously preserving the file's ...