Ein kleines Bookmarklet…

…habe ich mir heute einfallen lassen

Wenn man an einer größeren Webseite bastelt ist es recht umständlich jedes Mal die Seite neu zu laden, wenn man nachsehen möchte, ob das eben gespeicherte CSS auch das tut, was man will. Leider bietet die Webdeveloper Toolbar keine Möglichkeit, nur die CSS Dateien frisch vom Server zu holen. Hier kann man zwar die CSS Daten direkt bearbeiten, aber die gewünschte Funktion fehlt mir eben . Deshalb habe ich mir heute ein Bookmarklet einfallen lassen, das eben diesen Zweck erfüllt.

 reload styles bookmarklet (getestet in Firefox 1.5 und IE 6.0+)

Der Code im Detail

function r() {
	// Alle link-Elemente auswählen
	var s=document.getElementsByTagName('link');
	// Wenn keine link-Elemente gefunden wurden, beenden
	if(s.length<1) exit;

	// Ein paar Variablen initalisieren
	var n=new Date();
	var t;
	var x;

	// Jetzt jedes Element durchgehen
	for(x=0;x<s.length;x++) {
		// Wenn das Element ein Stylesheet bezeichnet...
		if(s[x].getAttribute(‘rel‘) == ’stylesheet‘) {
			// Den aktuellen Pfad zur CSS-Datei auslesen…
			t=s[x].getAttribute(‘href‘);
			// … und die aktuelle Datei anhängen, damit die Datei frisch geladen wird
			s[x].setAttribute(‘href‘,t+‘?'+n.getTime());
		}
	}
}

// Die Funktion aufrufen
r();

Kritik und Anregungen sind natürlich willkommen!

• von stephantom am 3. Mai 2006 in:
• JavaScript, AJAX