I've been wondering on how to resize animated gifs permanently, if anyone could help with this issue I'd be most thankful.
If this is any use, this is the code I am using to provide the gif itself -
public class TormentorPortrait extends Actor
{
GifImage gif = new GifImage("Portrait.gif");
/**
* Act - do whatever the TormentorPortrait wants to do. This method is called whenever
* the 'Act' or 'Run' button gets pressed in the environment.
*/
public void act()
{
setImage(gif.getCurrentImage());
}

