So.
Ich habe den Schraubendreher in die Hand genommen und ein Skript gebastelt.
Es erzeugt einen Button zum Ein- und Ausschalten von Animationen von GIF-Grafiken.
Technisch wird dabei image.animation_mode auf normal bzw. none gesetzt.
Der Button ist über das Anpassen-Fenster beliebig verschiebbar.
Nach dem Umschalten wird die aktuelle Seite neu geladen und der Button bekommt ein anderes Aussehen.
Vorlagen waren:
- das Skript Combine Manipulate MinMaxClose Button für die Erzeugung des Buttons und
- der Animations-Button von den Toolbar Buttons für die Funktion.
Download: http://www.xup.in/dl,19133420/AnimationToggleButtonM.uc.js/