Update für Opera 5.0 erhältlich

Verbesserte Google-Integration und Bug-Fixes. Opera veröffentlichte an diesem Wochenende ein Update für Opera 5.0 , das vor allem Fehler der Vorversion beheben soll. Damit halten die Norweger das Versprechen, schnell mit Bug-Fixes auf die Stabilitätsprobleme der 5er-Version zu reagieren.

17. Dezember 2000 um 15:52 Uhr / Ingo Pakalski

Opera 5.01 Build 840 beherrscht nun wieder den reibungslosen Zugriff über Proxy-Server und besitzt ein verbessertes Cookie-Handling. Außerdem erscheinen weniger Seiten mit Darstellungsfehlern im Browser, da der Seiten-Aufbau insbesondere bei JavaScript überarbeitet wurde. Außerdem erhielt der integrierte Instant Messenger einige Verbesserungen.

Die einzige wirkliche Neuerung befindet sich in der Such-Funktion, die nun integrierte Google-Funktionen enthält. Die Abfrage dieser Suchmaschine soll deutlich schneller arbeiten und besitzt nun die Möglichkeit, ähnliche Seiten auf Knopfdruck darzustellen. Ebenso lassen sich Verlinkungen auf eine Seite auflisten. Insgesamt kommt die Google-Integration aber noch nicht an den Funktionsumfang der kostenlosen Google-Toolbar für den Internet Explorer heran.

Ganz gleich, ob man die 5er-Version von Opera mit oder ohne Java-Engine installiert hat, genügt es für das Update, die Fassung ohne Java-Funktion von knapp zwei MByte herunterzuladen. Um Weihnachten herum soll auch eine deutsche Version des Browsers folgen.