Pingbefehl direkt in Firefox und Opera ausführen

Browsen, Firefox, Opera | browser | Firefox | firefox tipps | netzwerk | Opera | opera tipps | ping | server

Habe diesen nützlichen Tipp im Lifehacker Blog gefunden. In dem Artikel wird erklärt, wie man den Befehl Ping direkt von der Adresszeile in Firefox bzw. Opera ausführen kann. Ping bedeutet grob beschrieben, dass man etwas an den angegebenen Server schickt und auf Antwort wartet die in Millisekunden angegeben ist. Dauert die Antwort zu lange gibt es einen Timeout und man kann davon ausgehen, dass etwas nicht in Ordnung ist.

Was den Tipp so interessant macht ist die Tatsache, dass er ohne Plugin, Erweiterung oder Greasemonkey auskommt. Alles was man tun muss ist ein neues Lesezeichen mit der url http://network-tools.com/default.asp?prog=ping&host=%s anzulegen und diesem das Schlüsselwort (Keyword) Ping zuzuweisen.

Dieses Keyword kann dann in Kombination mit einer IP oder Domain in die Firefox Adresszeile eingegeben werden und man erhält postum die Pingwerte im Browser zurückgeliefert. Gibt man zum Beispiel Ping ghacks.net ein wird meine Webseite angepingt.

Plugins in Firefox entfernen

Browsen, Firefox | Firefox | firefox plugins | firefox tipps | mozilla

Selbst im Deutschen kommt man bei der Terminology von Zusatzprogrammen für Firefox durcheinander. Es gibt Erweiterungen, englisch extensions, add-ons und plugins. Plugins grenzen sich von den Erweiterungen dadurch ab, dass sie per Drittsoftware in Firefox integriert werden während Add-ons bzw. Erweiterungen durch den Anwender installiert werden.

Wie erfährt man nun welche Plugins installiert sind ? Am einfachsten geht dieses durch die Eingabe des Befehls about:plugins in die Firefox Adresszeile. Dort werden dann alle geladenen Plugins aufgeführt und man erhält Informationen wie den Speicherort auf der Festplatte und natürlich auch von welchem Hersteller dieses Plugin bereitgestellt worden ist.

Bei mir waren zum Beispiel noch ein Adobe Plugin installiert obwohl ich den Adobe Reader schon vor längerer Zeit deinstalliert hatte. Dazu gab es Plugins für Microsoft Office und AOL Media Playback die ich guten Gewissens entfernen wollte.

Mit Firefox die Größe aller Popups verändern

Browsen, Firefox | Firefox | firefox tipps | mozilla

Seid ihr auch schon einmal auf Popups gestossen die ihr von der Größe her nicht verändern konntet ? Manchmal kam es bei mir vor, dass nicht alle Informationen und Elemente sichtbar waren, das Popup sich aber in der Größe nicht verändern ließ. Sehr ärgerlich, vor allem wenn es auf der Seite eurer Hausbank passiert. Vielleicht haben die Entwickler nur an den Internet Explorer gedacht, als sie die Seite entwickelt haben und die Anwendung für andere Browser nur marginal, wenn überhaupt, getestet.

In Firefox kann man diese Sperre einfach umgehen indem man einen Wert in der Konfiguration verändert. Sobald man diesen verändert hat, kann man alle Popups in Firefox auf eine beliebiege Größe verändern. Ruft mit about:config in der Adresszeile von Firefox die Konfiguration auf und sucht nach dem Begriff dom.disable_window_open_feature.resizable.

Ändert den Wert der Einstellung auf True (Wahr) um alle Popups in der Größe verändern zu können. Am einfachsten geht das mit einem simplen Doppelklick auf den Eintrag.

Firefox empfänglicher für Benutzereingaben machen

Browsen, Firefox | Firefox | firefox tipps | mozilla

Seit etwa zwei Monaten habe ich das Gefühl, dass Firefox nicht mehr so schnell auf Benutzereingaben reagiert wenn gerade eine Webseite geladen wird. Es fühlt sich fast so an, als ob Firefox für ein paar Sekunden hängt, was mich fast dazu gebracht hat komplett auf Opera umzusteigen. Vielleicht ist dieses durch das letzte Firefox Update gekommen, andere Möglichkeiten kommen nach meiner Meinung dafür nicht in Betracht.

Heute nun habe ich eine Möglichkeit gefunden die Empfänglichkeit - Responsiveness im Englischen, gibt irgendwie kein deutsches Wort was dem gerecht wird - zu verbesseren. Es gibt eine about:config Einstellung die die Zeit bestimmt die Firefox zwischen dem Wechsel vom High Frequency Interrupt Mode auf den Low Frequency Interrupt Mode veranschlägt. Wenn Firefox im High Frequency Mode ist reagiert er besser auf Benutzereingaben während Webseiten schneller im Low Frequency Mode geladen werden.

Der Wert Content.switch.threshold ist dafür verantwortlich. Standardmässig gibt es den Wert nicht, man muss in also als Neuen Integer erstellen und den Wert 1000000 zuweisen. Der Standardwert liegt bei 750000.

Firefox Themes ohne Neustart wechseln

Browsen, Firefox | firefox erweiterungen | firefox tipps

Normalerweise kann man Firefox Themes nur über einen Neustart des Browsers wechseln. Man lädt dazu Themes von der Mozilla Webseite, installiert diese und startet Firefox neu sobald man ein anderes Theme aktiviert hat. Das es auch anderes geht zeigt Opera bei dem die Themes im laufenden Betrieb ausgetauscht werden.

Personas ist eine offizielle Erweiterung für Firefox mit der man eine begrenzte Anzahl Themes im laufenden Betrieb wechseln kann. Links unten in der Statusleiste von Firefox erscheint ein Fuchs mit dem man dann die Themes auswählen und ändern kann.

Geschätzt sind dort etwa 30 verschiedene Themes verfügbar die aktiviert werden können. Diese sind in verschiedene Kategorien wie Sport, Natur und Geometrische Themes sortiert.

Leider gibt es keine Möglichkeit - zumindest keine offensichtliche - eigene Themes in Personas einzubinden die man dann auf die gleiche Art und Weise aktivieren kann.