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.
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.
