Bounjoun bleicher,

di eneuen features kommen zu eijnem preis - aber zB das tabstacking is SUUUPER praktisch - ohne ließe sich mein surfverhalten nciht so bequem halten. oder bin ich der einzige, der kein tab schließt bis die recherche vorbei ist?
auch die extensions ind eine feine sache - man kann in 1 stunde ein tool hinklatschen das einem die unter 2 systemen arbeit erspart - JS is tienfach und file.io API ist feine sache.
man muss die features natürlich nutzen können, aber die sind toll :) das mit tabshrinking ist ein bewies dafür, wie toll Opera ist - es wird eigentlich fast nur das schrumpfen des angehefteten tabs bemängelt, weil es sonst keine mängel gibt.

Also doch kein Rechtschreibprüfprogramm[1] (oder ist es abgeraucht?)

[1] Kann den Thread mit meiner Bemerkung von letztens nicht finden... weder in der Hauptdatei, noch im Archiv. Einzige Möglichkeit: er ist eben heute erst archiviert worden und deswegen nicht indexiert (für eine Löschung war eigentlich kein Anlass...)

Adiou.