Su linux uso GIMP ma soprattutto per le GIF non offre strumenti avanzati per la gestione delle palette e ottimizzazioni varie.
c'è qualcosa di utile per questo?
o qualche sugerimento per GIMP?
(alla fine le immagini GIF che ho compresso occupano il 50% rispetto a GIMP)




