Vielen Dank, 6 Views. Es hat geklappt. Dennoch, so ein Befehl gehört an die Oberfläche oder zumindest in die Einstellungen. Die meisten Browser-Nutzer haben keine Lust, sich mit den Tiefen eines Programms auseinanderzusetzen. Wenn Opera nur die Technikfreaks will, gut, dann ist das ihr Problem. Dann dürfte aber das Unternehmen nicht mehr lange überleben.
Ich sehe jetzt, was mir Opera gegenüber Chrome bringt. Sind ja vom Kern her dieselben Programme. Nach den ersten scheuen Erfahrungen scheint mir der Geschwindigkeitsvorteil, den Opera einst hatte, jedenfalls nicht mehr gegeben.