Ich würde gerne von einer animierten GIF-Datei mehrere Versionen erstellen, z.B. von einem 90x30 Linkbutton eine optisch gleichwertige Version der Größe 88x31 . Der Grund dafür ist, daß ich den Button auf verschiedenen Seiten anbringen möchte, deren Webmaster sehr genaue Vorstellungen von Buttons haben.
Ich möchte mir quasi die Arbeit ersparen, die Einzelbilder einzeln zu justieren und das ganze neu animieren zu müssen.
Insbesondere bei diesen kleinen Unterschieden in der Größe ist das nicht so ohne weiters möglich. Die Kanten werden weichgezeichnet, die Dateien werden überproportional größer. Ein Programm kann ich Dir nicht empfehlen, die Lösung liegt aber sicherlich darin die Button als Vektoranimationen anzulegen und in verschiedenen Größen als Animiertes Gif zu exportieren.
Grüße Gregor
[Bei dieser Antwort wurde das Vollzitat nachträglich automatisiert entfernt]