Firefox-Erweiterungen in Opera (Teil1)

Dies ist eine Übersetzung des Artikels Opera equivalents to Firefox extensions von Arve Bersvendsen

---

Roger Johansson schrieb eine Liste seiner liebsten Firefox-Erweiterungen, einige davon sind ziemlich weit verbreitet. Grund genug sie zu betrachten und das Äquivalent in Opera zu suchen.

AdBlock

Die AdBlockerweiterung für Firefox entfernt die Werbung aus den meisten Internetseiten. Viele Nutzer nutzen hauptsächlich dieses Tool um der Werbeplage Herr zu werden.

Opera hat keinen internen Werbeblocker mit einer Benutzeroberfläche, was als kommerzielle Software auch nicht unbedingt zu erwarten ist. Das heißt aber nicht, dass man mit Opera keine Werbung blocken kann. Es gibt 2 Möglichkeiten in Opera Werbung zu blockieren:

1. F12 -> [ ] Plugins aktivieren
2. F12 -> [ ] Gif-Animation
3. F12 -> [ ] Geräusche in Webseiten zulassen

Dies bewirkt, dass man die Werbung in den meisten Fällen zwar noch sehen kann, dass Generve durch animierte Banner, Geräusche und Flash aber wegfällt. Falls man doch auf einer Seite die abgeschalteten Features benötigt, kann man die obigen Schritte auch schnell wieder rückgängig machen.

Wer etwas rabiater gegen Werbung vorgehen will, für den ist die Filterung auf URL-Basis die richtige Wahl. Hierzu muss ein Eintrag in der opera6.ini vorgenommen werden. Diese befindet sich normalerweise in einem Verzeichnis der Form C:\Dokumente und Einstellungen\Benutzername\Anwendungsdaten\Opera\Opera[Version]\profile Folgendes muss im Abschnitt [Adv User Prevs] ergänzt werden:

URL Filter File=C:\Dokumente und Einstellungen\Benutzer\Anwendngsdaten\Opera\Opera\profile\filter.ini

Falls die Pfadangaben nicht stimmen sollten, müssen sie selbstverständlich angepasst werden. Im Bedarfsfall erhält man den Pfad zur opera6.ini in Opera über Hilfe -> Über diese Operainstallation. Der Pfad zur opera6.ini befindet sich hinter "Einstellungen (ini-Datei)"

An der hinter "URL Filter File" angegebenen Stelle wird nun eine neue Datei mit dem Namen "filter.ini" erstellt.
Eine englische Dokumentation zum Thema URL-Filtern befindet sich hier

Folgend eine Beispiel-filter.ini

[prefs]
prioritize excludelist=1

[include]
*

[exclude]
http://ad.*
http://ads.*
http://adserv*
http://banner*
http://count*
http://*.doubleclick.net/*
http://*.hitbox.net/*
http://*.ivwbox.de/*
http://*.tradedoubler.*
http://*/ads/*
http://*/Ads/*
http://*/banners/*

Martin Schrode unterhält auf http://www.schrode.net/ ein Tutorial über URL-Filtering mit Opera. Weiterhin besteht die Möglichkeit über Stylesheets Einheitsbanner bestimmter Größe mit display: none; nicht anzeigen zu lassen. Eine Dokumentation (englisch) hierzu befindet sich im Opera Wiki.

Dictionary Search (Suche in Lexika/Wörterbüchern)

Roger wies auf die Erweiterung Dictionary Search hin. Die Suche in Lexika ist in Opera eingebaut. Und nicht nur das, auch eine Onlineübersetzung ist fest integriert.

Die Suchen in Opera können alle frei konfiguriert werden. Ich suche zum Beispiel im Merriam-Webster nach Wörtern. Anleitungen zur Modifikation der in Opera integrierten Suchen befinden sich (englischsprachig) hier und hier im Opera Wiki.

Fangs

Fangs emuliert einen Screenreader (Vorleseprogramm). Opera ist ein solcher:

• Opera 8 für Windows unterstützt Sprache
• Opera 8 für Windows unterstützt Stylesheets zur Steuerung der sprachlichen Ausgabe (aural style sheets)

Davon abgesehen sollte es möglich sein, die komplette Funktionalität von Fangs in Opera mit User-Stylesheets und User-Javascript nachzubilden

Google PageRank Status

Die Google PageRank Status -Erweiterung in Mozilla zeigt den aktuellen Pagerank einer Seite an.

In Opera kann der PageRank Button jeder Toolbar hinzugefügt werden.

Tabbrowser Preferences (Einstellungen für Tabbed Browsing)

Die Erweiterung Tabbrowser Preferences erlaubt mehr Einstellungsmöglichkeiten für Tabbed Browsing in Mozilla Firefox.

Auch das ist in Opera schon eingebaut.

TargetAlert

Die TargetAlert-Erweiterung gibt es für Opera nicht.

Man kann aber Anweisungen der Form a[target] { /* style rules */ } in die User-Stylesheets Operas schreiben. (Extras->Einstellungen->Erweitert->Inhalt und Darstellung->Darstellungs-Optionen->Eigenes Stylesheet). Mit erweiteter Unterstützung von CSS3 wird auch eine Nachbildung der TargetAlert-Erweiterung möglich sein.

User Agent Switcher (Veränderung der Browseridentifikation

Es gibt den User Agent Switcher für Firefox. Aber nochmals: Das ist in Opera schon eingebaut. Einfach F12 drücken und zwischen folgenden Optionen auswählen:

• Opera
• Internet Explorer
• Mozilla

Web Developer Extensions

Die Web Developer-Erweiterung für Firefox fügt ein paar Werkeuge für Webdesigner hinzu. Folgendes kann Opera von Haus aus:

• Seiten im Cache bearbeiten. Man kann sich also mit Strg+F3 den Quelltext anzeigen lassen, ihn bearbeiten, speichern und die veränderte Version im Browser darstellen lassen. (Extras->Weiteres->Aus dem Cache neu laden)
• Eine Seite validieren: einfach Strg+Alt+V drücken
• Beliebige Codevalidierer in die Suche integrieren

Sonstiges

Andere Funktionen von Opera, welche für den Firefox nur als Erweiterungen vorliegen:

• Mausgesten. Ebenfalls in Opera integriert
• Frei konfigurierbares UI: Menüs, Buttons, Tastenkürzel und Mausgesten
• Mail. Das integrierte Mailprogramm a.k.a. M2 ist ein vollwertiger Mailclient und Newsreader.
• RSS. Auch die Darstellung von Newsfeeds beherrscht M2

Dementi

Ich behaupte nicht: "Opera ist der beste Browser". Welchen Browser man benutzt soll jeder für sich selbst entscheiden. Ich schrieb dies um auf die zahlreichen bereits integrierten Features von Opera hinzuweisen, welche der ein oder andere Benutzer vorteilhaft finden könnte.