Quando devi salvare l'immagine, sotto la voce "Salva come" dovrebbe esserci un menu a tendina, l'estensione di default è .bmp/.dib, ma se clicchi sulla freccia di fianco dovrebbe aprirsi il menu a tendina con i vari formati, fra cui anche .gif.