Posted: 2006-11-29T09:23:48-07:00
You can resize an animated GIF like this, for example:
- convert movie.gif -resize 50% small_movie.gif
GIF is a horrible image format for general images, as because of this resizing can produce a lot of problems with regard to transparency, and color handleing between frames. It can especially cause major optimization problems.
IM Examples has unfortunatally not looks at this probelm fully,
http://www.cit.gu.edu.au/~anthony/graph ... ns/#resize
but is getting there, especially now that the new destions on color quantization and dithering is basically complete.
I suggest you look at it and of course submit your commits and additions to me.