Situation
Meine Extension injiziert auf bestimmten Seiten ein Content Script. Man kann dann auf dieser veränderten Seite auch Einstellungen ändern, die im der Extension zugewiesenen Storage gespeichert wird. Dafür wird wie üblich eine Nachricht mit den Änderungen an den Hintergrundsprozess geschickt.
Problem
Angenommen, ich habe zwei oder mehr Tabs offen. Nun verändere ich die Einstellung A in einem dieser Tabs. Die Änderung wird gespeichert, aber alle anderen Tabs zeigen nach wie vor den alten Zustand an. Erst nach einem Neuladen der Seite wird die Änderung sichtbar.
Was wir wollen, ist eine Synchronisation der Tabs, was bedeutet, wir müssen alle im Hintergrund eintreffenden Änderungen allen anderen Tabs ebenfalls mitteilen. Und das geht so …
Seit heute steht Opera 10 in der finalen Version zum Download bereit. Als Nutzer seit der 2. Beta-Version kann ich sagen, dass der für mich beste Browser noch besser geworden ist. Das hat sich unter anderem geändert:
- Interface Design: Das Interface wurde aufgehübscht mit einem schlanken und stimmigen Design. Andere Skins aus der Community lassen sich nach wie vor verwenden.
- Visual Tabs: Wenn der Seitentitel der Tabs nicht genug hergibt, kann man einfach die Tableiste vergrößern und hat eine Minivorschau.
- Turbo: Bei langsamen Verbindungen lässt sich der Turbo aktivieren, der Inhalte komprimiert und dadurch wieder einiges an Geschwindigkeit gut macht. Grafiken werden dabei jedoch zu Pixelmatsch und ohnehin schnelle Verbindungen gewinnen nichts dazu.
- Web Standards: Opera war schon immer unter den Top-Rängen, wenn es um die Unterstützung von Web Standards ging. Jetzt schafft er den Acid3-Test mit 100/100-Punkten, ermöglicht das Nutzen von Web Fonts und den Einsatz von Transparenz gemäß CSS3 für HSLA- und RGBA-Angaben.
- Speed Dial lässt sich nun mit einem Hintergrundbild versehen und die Anzahl der Speed Dial-Felder einstellen.
Zum Wechsel möchte ich nicht aufrufen, höchstens mal zum Ausprobieren. Wenn ihr zufrieden seid mit eurem Browser ist ja alles gut. Firefox, Safari, Chrome – sind mittlerweile eh alle top und ihre Benutzer gehen eben nach Vorliebe beziehungsweise Bedürfnissen.
