Kein Thema

@Ingo: Habe Opera nicht "abgeurteilt" - auch wenn man vielleicht dem Artikel entnehmen kann, dass FF mein "Hauptbrowser" ist. Ich habe Opera halt nicht (wie andere Artikelschreiber) hochgejubelt.

Ich habe die Optimierungen für Opera ja im Artikel beschrieben. Und FF habe ich für den Vergleich eben _nicht_ optimiert - da ist das automatische Ausblenden der Tabs nämlich Werkseinstellung.

Ich hatte beim Schreiben das Problem, dass ich die Tab-Leiste nicht intuitive ausschalten konnte. Inzwischen habe ich herausgefunden, dass (und wie) es geht. Steht auch im Artikel.

Also läuft es auf die 7 Pixel unterschied heraus, die der alte Opera mehr als der alte Firefox nutzte. Und mit "Breeze Simplyfied", welches es für beide Browser gibt, sollte auch das kein Problem sein.