[userChrome.js] Ein-/Ausschalten von GIF-Animationen

Schrauberecke: Hier geht es um optische und funktionelle Veränderungen (ohne Themes oder Personas) von Firefox oder von Webseiten per CSS-Codes oder JavaScript.
Benutzeravatar
aborix
Senior-Mitglied
Beiträge: 4218
Registriert: So, 06. Sep 2009 0:57

[userChrome.js] Ein-/Ausschalten von GIF-Animationen

#1

Beitrag von aborix Themen-Starter » Mi, 05. Jun 2013 21:17

So. 8)
Ich habe den Schraubendreher in die Hand genommen und ein Skript gebastelt. :D

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/Animation ... onM.uc.js/
Zuletzt geändert von aborix am Do, 06. Jun 2013 17:21, insgesamt 1-mal geändert.

Benutzeravatar
2002Andreas
Moderator
Beiträge: 39788
Registriert: Fr, 04. Jul 2008 19:25
Wohnort: Niedersachsen

Re: userChrome.js-Skript: Ein-/Ausschalten von GIF-Animation

#2

Beitrag von 2002Andreas » Mi, 05. Jun 2013 21:22

aborix hat geschrieben:und ein Skript gebastelt
Auch wenn ich es wahrscheinlich nicht brauche.....aber dafür gibt es von mir einen :klasse:
Mit freundlichem Gruß
Andreas
Mein System    Meine Add-ons

.Hermes
Senior-Mitglied
Beiträge: 3519
Registriert: Mo, 23. Apr 2012 23:08

Re: userChrome.js-Skript: Ein-/Ausschalten von GIF-Animation

#3

Beitrag von .Hermes » Mi, 05. Jun 2013 21:44

Welch Aufwand.

Hier sind auch alle Animationen abgeschaltet. Wenn ich wirklich mal die Animation sehen will (kommt sehr selten vor) gehe ich nach "Seiteninformation"->"Medien" und schon wird sie nach Auswahl der Grafik auf der Seite animiert angezeigt.

Ob das nun ein Bug ist oder nicht, momentan ist es praktikabel.

Benutzeravatar
ReVox
Senior-Mitglied
Beiträge: 1032
Registriert: Di, 27. Jun 2006 14:27
Wohnort: Gleich hier um die nächste Ecke. ;-)

Re: userChrome.js-Skript: Ein-/Ausschalten von GIF-Animation

#4

Beitrag von ReVox » Mi, 05. Jun 2013 23:52

aborix » am Mi, 05. Jun 2013 um 21:17 Uhr ::::: Beitrag Nr. 1 » hat geschrieben: Ich habe den Schraubendreher in die Hand genommen und ein Skript gebastelt. :D

Es erzeugt einen Button zum Ein- und Ausschalten von Animationen von GIF-Grafiken.
Das gefällt mir :klasse:
Gruß ReVox
"Theorie ist, wenn man alles weiß und nichts geht. Praxis ist, wenn alles funktioniert und nicht weiß warum.
Bei Windows sind Theorie und Praxis vereint, nichts funktioniert und keiner weiß warum!"

Meine gegebenen Tips & Antworten sind wie die Lottozahlen - immer ohne Gewähr ;-)

Mozilla/5.0 (Windows NT 10.0; WOW64; rv:38.0) Gecko/20100101 Firefox/38.5.1-ESR

Benutzeravatar
bluemule
Senior-Mitglied
Beiträge: 928
Registriert: Sa, 24. Jul 2010 11:19

Re: userChrome.js-Skript: Ein-/Ausschalten von GIF-Animation

#5

Beitrag von bluemule » Do, 06. Jun 2013 4:00

Klasse Skript :klasse: Spontan ist mir dazu noch eine Codevariante eingefallen. Wenn man Zeile 22 rauslöscht (tooltiptext) und den Tooltiptext stattdessen in den if/else-Teil unter BrowserManipulate packt, wird in Übereinstimmung mit dem Status entweder die Variante "GIF-Animationen einschalten" oder "GIF-Animationen ausschalten" angezeigt. Ist letztlich aber wohl Geschmackssache. Viele Grüße

Code: Alles auswählen

BrowserManipulate = {		
			onClick: function(event) {			
				var BrowserManipulateBtn = document.getElementById("animation-button");			
				var prefs = Components.classes['@mozilla.org/preferences-service;1'].getService(Components.interfaces.nsIPrefBranch);				
				var animmode = prefs.getCharPref("image.animation_mode");					
				if ( animmode == "none" ) {				
					prefs.setCharPref("image.animation_mode", "normal");					
					BrowserManipulateBtn.style.listStyleImage = iconNormal;	
					BrowserManipulateBtn.setAttribute("tooltiptext", "GIF-Animationen ausschalten");					
				} 				
				else {				
					prefs.setCharPref("image.animation_mode", "none");					
					BrowserManipulateBtn.style.listStyleImage = iconNone;	
					BrowserManipulateBtn.setAttribute("tooltiptext", "GIF-Animationen einschalten");
				}				
				BrowserReload();				
			}		
Firefox immer aktuell

Benutzeravatar
Boersenfeger
Senior-Mitglied
Beiträge: 52707
Registriert: So, 21. Mär 2004 13:21
Wohnort: Brunswiek anne Oker dranne

Re: userChrome.js-Skript: Ein-/Ausschalten von GIF-Animation

#6

Beitrag von Boersenfeger » Do, 06. Jun 2013 8:37

.. möglicherweise könnte man noch den Parameter "once" einbauen, dann würde die Animation 1 x ablaufen, ansonsten wäre Ruh...
Stand 19.2.2019
Mozilla/5.0 (Windows NT 6.1 Win64 x64 rv:65.0) 20100101 Firefox/65.0.1
Mozilla/5.0 (Windows NT 6.1 Win64 x64 rv:67.0) 20190219 Firefox/67.0a1

Meine Füchse|Fehlersuche|Anleitung für Fragen im Forum|Sicherheitskonzept für Windowsnutzer

Benutzeravatar
aborix
Senior-Mitglied
Beiträge: 4218
Registriert: So, 06. Sep 2009 0:57

Re: [userChrome.js] Ein-/Ausschalten von GIF-Animationen

#7

Beitrag von aborix Themen-Starter » Do, 06. Jun 2013 21:13

Ist getan.

Linksklick: ein
Mittelklick: einmal abspielen
Rechtsklick: aus

Tooltip angepasst.

http://www.xup.in/dl,48208875/Animation ... onM.uc.js/

Benutzeravatar
bluemule
Senior-Mitglied
Beiträge: 928
Registriert: Sa, 24. Jul 2010 11:19

Re: [userChrome.js] Ein-/Ausschalten von GIF-Animationen

#8

Beitrag von bluemule » Do, 06. Jun 2013 21:45

Echt super, vielen Dank dafür :klasse: Ich glaube, ich muss mir dieses Skript mal bei Gelegenheit für eigene Experimente borgen ;)

Viele Grüße
Firefox immer aktuell

Benutzeravatar
aborix
Senior-Mitglied
Beiträge: 4218
Registriert: So, 06. Sep 2009 0:57

Re: [userChrome.js] Ein-/Ausschalten von GIF-Animationen

#9

Beitrag von aborix Themen-Starter » Do, 06. Jun 2013 21:50

:D

Ich habe soeben gesehen, Zeile 46:

Code: Alles auswählen

var animmode = prefs.getCharPref("image.animation_mode");
ist, glaube ich, überflüssig und kann entfernt werden.

Benutzeravatar
ReVox
Senior-Mitglied
Beiträge: 1032
Registriert: Di, 27. Jun 2006 14:27
Wohnort: Gleich hier um die nächste Ecke. ;-)

Re: [userChrome.js] Ein-/Ausschalten von GIF-Animationen

#10

Beitrag von ReVox » Fr, 07. Jun 2013 15:50

hi aborix,

wenn man bei aktivierten Mittelklick zurück über Linksklick die Animation wieder aktivieren will, dann wird wohl die Seite neu aktualisiert aber die Animation funktioniert erst dann wenn der Cache gelöscht wird.
Könnte man das noch ändern, ohne Strg/F5 zu drücken?

Bei nur Rechts und Linksklick funktioniert die Animation dann wieder.
Gruß ReVox
"Theorie ist, wenn man alles weiß und nichts geht. Praxis ist, wenn alles funktioniert und nicht weiß warum.
Bei Windows sind Theorie und Praxis vereint, nichts funktioniert und keiner weiß warum!"

Meine gegebenen Tips & Antworten sind wie die Lottozahlen - immer ohne Gewähr ;-)

Mozilla/5.0 (Windows NT 10.0; WOW64; rv:38.0) Gecko/20100101 Firefox/38.5.1-ESR

Benutzeravatar
aborix
Senior-Mitglied
Beiträge: 4218
Registriert: So, 06. Sep 2009 0:57

Re: [userChrome.js] Ein-/Ausschalten von GIF-Animationen

#11

Beitrag von aborix Themen-Starter » Fr, 07. Jun 2013 16:32

Ja, das habe ich auch bemerkt.
Ich glaube, da lässt sich etwas machen. Ich sehe mir das an.

Benutzeravatar
aborix
Senior-Mitglied
Beiträge: 4218
Registriert: So, 06. Sep 2009 0:57

Re: [userChrome.js] Ein-/Ausschalten von GIF-Animationen

#12

Beitrag von aborix Themen-Starter » Fr, 07. Jun 2013 22:49

Es müsste jetzt in fast allen Fällen funktionieren.

Es gibt Fälle, in denen es nicht funktioniert, z.B. man ist auf Seite A mit Einstellung "einmal", dann wechselt man auf Seite B, stellt dort um auf "ein", und wechselt dann zurück auf A.
In so einem Fall auf Seite A nocheinmal linksklicken, dann funktioniert es auch da.

http://www.xup.in/dl,18431586/Animation ... onM.uc.js/

Benutzeravatar
ReVox
Senior-Mitglied
Beiträge: 1032
Registriert: Di, 27. Jun 2006 14:27
Wohnort: Gleich hier um die nächste Ecke. ;-)

Re: [userChrome.js] Ein-/Ausschalten von GIF-Animationen

#13

Beitrag von ReVox » Sa, 08. Jun 2013 10:21

Danke :klasse:

habe für mich in Zeile 25 den tooltipText noch geändert:

Code: Alles auswählen

var tooltipText = "Linksklick:     GIF-Animation  EIN\nMittelklick:   GIF-Animation  1x  Aktiv\nRechtsklick:  GIF-Animation  AUS";
Funktioniert bisher in allen Fällen. :D
Gruß ReVox
"Theorie ist, wenn man alles weiß und nichts geht. Praxis ist, wenn alles funktioniert und nicht weiß warum.
Bei Windows sind Theorie und Praxis vereint, nichts funktioniert und keiner weiß warum!"

Meine gegebenen Tips & Antworten sind wie die Lottozahlen - immer ohne Gewähr ;-)

Mozilla/5.0 (Windows NT 10.0; WOW64; rv:38.0) Gecko/20100101 Firefox/38.5.1-ESR

Benutzeravatar
loshombre
Senior-Mitglied
Beiträge: 10383
Registriert: So, 24. Apr 2005 23:30
Wohnort: Todesstern

Re: [userChrome.js] Ein-/Ausschalten von GIF-Animationen

#14

Beitrag von loshombre » Fr, 21. Jun 2013 23:44

Leider gibt es dabei ein Problem in Verbindung mit deinem modifizierten Restart Script. Bei beiden Scripten am Start wird anstatt Animationen der Fuchs neu gestartet.
Wechsle ich auf ein anderes Restart Script, gibt es mit AnimationToggleButtonM.uc.js keine Probleme.
Userscripte für die userChrome.js (Fuchs 57+, Installation, Zusammenfassung) im Forum und zum Download auf Github.com

Wetterfuchsbutton Script der dunklen Seite für die userChrome.js

Gruß loshombre

Benutzeravatar
aborix
Senior-Mitglied
Beiträge: 4218
Registriert: So, 06. Sep 2009 0:57

Re: [userChrome.js] Ein-/Ausschalten von GIF-Animationen

#15

Beitrag von aborix Themen-Starter » Sa, 22. Jun 2013 8:31


Antworten

Wer ist online?

Mitglieder in diesem Forum: 0 Mitglieder und 5 Gäste