SchlagwortFirefox

Webdeveloper-Toolbar: CSS-Hintergrundbilder funktionieren nur mit absoluter URL

Bei meinen Basteleien an meiner Seite mit der Webdeveloper-Toolbar für Firefox habe ich endlich festgestellt, wo das Problem beim Bearbeiten der CSS liegt. Fügt man ein Hintergrundbild mit CSS ein, funktioniert die Vorschau nur bei Eingabe einer absoluten URL.
Lies „Webdeveloper-Toolbar: CSS-Hintergrundbilder funktionieren nur mit absoluter URL“ weiter

Im Gnome-Menü einen Starter für den Firefox-Profilmanager anlegen

Den Profilmanager von Firefox kann man über die Konsole mit dem Befehl firefox -ProfileManager starten.

Möchte man dies dem Menü von Gnome hinzufügen, gehe man auf System » Einstellungen » Hauptmenü. Dort wählt man das passende Menü aus und wählt Hinzufügen. Dort gibt man unter Befehl wiederum firefox -ProfileManager ein. Der Rest sind eigene Beschreibungen.

Gnome: Starter für das Hauptmenü für den Firefox-Profilmanager anlegen

Eine kleine Erinnerung für mich, die sicherlich auch andere interessieren könnte: So aus der Kategorie "Linux-Kleinigkeiten, an die man sich in zwei Wochen nicht erinnert und genervt im Gnome-Menü sucht" …

Cookies unter Firefox besser managen

Firefox ist einer der momentan besten Browser und macht dem InternetExplorer von Microsoft nicht nur aufgrund der besseren Unterstützung von CSS-Standards, weniger Sicherheitslücken und der großen Anpassbarkeit große Konkurrenz.

Mit der Erweiterung CookieCuller lassen sich bequem die Cookies kontrollieren. Es ist einfach möglich, bestimmte Cookies immer zu behalten, während man die restlichen Cookies löschen lässt. So können Tracking-Cookies, mit denen Werbetreibende und andere Unternehmen das Surfverhalten ausspähen wollen, immer wieder gelöscht werden. Wenn man sie denn überhaupt zulassen muss.

Einige ausgewählte Cookies lassen sich schützen, sodass sie nicht gelöscht werden. So schütze ich bspw. die Cookies von meinem Blog, damit ich mich nicht jedesmal neu anmelden muss. Andere Cookies sind nach einem Neustart des Browsers gelöscht.

Damit dieses Löschen richtig funktioniert, darf Firefox selber diese Cookies nicht löschen. Mit der Einstellung „Private Daten löschen“ kann Firefox nämlich Cookies und andere Daten wie den Verlauf, den Cache usw. automatisch beim Beenden löschen (zu finden im Firefox-Menü unter „Extras“ > „Einstellungen“ > „Datenschutz“ > „Private Daten“). In diesem Menü muss ausgeschaltet sein, dass Firefox auch die Cookies löscht. Denn diese Aufgabe wird nun von CookieCuller übernommen. Und während Firefox die privaten Daten beim Beenden löscht, löscht CookieCuller die ungewünschten Cookies erst beim folgenden Start des Browsers. Und dann sind ja selbst die gewünschten Cookies nicht mehr vorhanden.

Die Erweiterung CookieCuller gibt es auf englisch bei den Mozilla.com Add Ons oder auf deutsch bei Erweiterungen.de.

Eine interessante Sicherheitslücke [Update]

Heise online erklärt die Sicherheitslücke von Firefox, die durch das Zusammenspiel von Internet Explorer und Firefox 2 zustande kommt.

Diese Sicherheitslücke macht m.E. nochmal deutlich, welche Probleme in der Softwareentwicklung überhaupt auftreten können. Denn einerseits bietet Firefox diese ausgenutzte Sicherheitslücke und andererseits sorgt Firefox selber gegen eine Ausnutzung vor. Und Windows bzw. der Internet Explorer unterstützt eigentlich nur die Funktionalität des Firefox, schützt aber gleichzeitig nicht vor einem Missbrauch dieser Funktion …

heise online – Lücke durch parallele Installation von Firefox 2 und Internet Explorer

Update [27.07.07]
Diese Sicherheitslücke schlägt anscheinend relativ hohe Wellen, denn sie zieht sich über diverse Patches hin. Und auch welche Version des IE installiert ist, ist relevant:

heise online – Neue Erkenntnisse zur „Firefox-Lücke“

Lohnenswerte Firefox-Erweiterungen

Für Firefox einige Erweiterungen, die die Funktionalität des Browsers erweitern und die Benutzung angenehmer machen. Hier einige meiner Favoriten, nachdem ich einige Erweiterungen ja schon einmal vorgestellt habe.

Eine der besten Erweiterungen ist Adblock Plus. Mit der Erweiterungen lässt sich Werbung bequem und sicher ausblenden. Wie es der Name schon sagt: ad als Abkürzung für advertisement, englisch für Werbung. Es lassen sich eigene Regeln aufstellen, vordefinierte Filterlisten herunterladen und natürlich lässt sich Adblock Plus auch für einzelne Seiten oder Domains ausstellen.
> Adblock Plus im Mozilla-Extensionsarchiv
> Adblock Plus Homepage

Zur Unterstützung von Adblock Plus gibt es Adblock Plus: Element Hiding Helper. Diese Erweiterung für Adblock Plus hilft bei der Erstellung von Filterregeln für Text-Werbung. Eine nette Erweiterung, die man nicht unbedingt haben muss, aber mit der man dem Ziel des werbefreien Surfens leicht näher kommt.
> Element Hiding Helper im Mozilla-Extensionsarchiv
> Element Hiding Helper Homepage

Wenn man häufig immer diesselben Textbausteine gebraucht, hilft Clippings schnell und einfach. Dort kann man immer wieder benutzte Texte speichern und über das Kontextmenü in ein Textfeld fügen.
> Clippings im Mozilla-Extensionsarchiv
> Clippings Homepage

Schneller surfen? Fasterfox hilft bei der Beschleunigung. Mit der Erweiterung lassen sich die Netzwerkeinstellungen tunen, sodass Firefox die Seiten schneller lädt und anzeigt. Wunder sollte man nicht erwarten, aber ein wenig hilft es schon.
> Fasterfox im Mozilla-Extensionsarchiv
> Fasterfox Homepage

Für kleinere Downloads reicht der eingebaute Downloadmanager von Firefox sicherlich aus. Bei größeren Downloads hilft aber ein Downloadmanager bei der Geschwindigkeit und erleichtert auch das Wiederaufnehmen von abgebrochenen Downloads. Um Downloads bequem an einen Downloadmanager abzugeben, gibt es FlashGot. Als hervorragenden Downloadmanager habe ich Flashget kennengelernt. Das Zusammenspiel zwischen der Erweiterung und dem eigentlichen Downloader ist super und bei dieser Geschwindigkeit könnte man fast sogar wieder auf ein 56k-Modem umsteigen 😉
> Flashgot im Mozilla-Extensionsarchiv
> Flashgot Homepage
> Flashget – Downloadmanager

Was heißt denn nochmal dieses Wort? Auf englischen Webseiten fehlt mir immer mal wieder ein Wort, das dann natürlich auch gerade für das Textverständnis wichtig ist. Mit gTranslate lässt sich dieses Problem leicht lösen. Das Wort (oder auch einen längeren Text) markieren und im Kontextmenü die Bedeutung kurz nachschauen. Die Erweiterung benutzt die Google Sprachtools zur Übersetzung und liefert immer nur eine Übersetzung. Die Qualität entspricht natürlich nicht einem richtigen Englisch-Lexikon, aber als kurze Hilfe eignet sich das Tool sehr gut. Neben Englisch werden noch weitere Sprache wie Französisch, Spanisch, Italienisch, Portugiesisch und einige asiatische Sprachen unterstützt.
> gTranslate im Mozilla-Extensionsarchiv
> gTranslate Homepage

Oftmals sind Bilder im Internet zu klein, sodass man sich eine Möglichkeit zum Zoomen wünscht. Diese simple Zoomfunktionalität liefert Image Zoom.
> Image Zoom im Mozilla-Extensionsarchiv
> Image Zoom Homepage

Wenn ich mal Seiten im Internet ausdrucken möchte, möchte ich meist nur den entscheidenden Text haben. Navigationselemente und sonstiger Schnickschnack stört einfach nur und kostet Papier und teuere Druckertinte. Mit Nuke Anything Enhanced lassen sich die verschiedensten Elemente einer Webseite bis zum nächsten Reload ganz einfach entfernen. Kann man sicherlich auch bei Screenshots benutzen oder wenn mal wieder jemand meinte, animierte Bilder verwenden zu müssen.
> Nuke Anything Enhanced im Mozilla-Extensionsarchiv

Um das tabbed Browsing noch komfortabler zu gestalten, empfehle ich Tab Mix Plus. Es unterstützt Sessions, das Wiederöffnen von geschlossenen Tabs oder Fenster und erlaubt die einfache Verwaltung der Tabs, Fenster und deren Einstellungen.
> Tab Mix Plus im Mozilla-Extensionsarchiv
> Tab Mix Plus Homepage