Opera hat die finale Version seines Handy-Browsers Opera Mini 4.2 für Googles Android-Plattform freigegeben. Die Software kann ab sofort über Android Market heruntergeladen werden.
Gegenüber der Beta haben die Entwickler die Schriftgröße – etwa der Startseite – hochgesetzt, um die Navigation zu erleichtern. Zoomen ist jetzt per Doppelklick möglich. Webvideos werden zum Abspielen an Androids Standard-Player weitergeleitet.
Außerdem können Nutzer der finalen Version Dateien über den Mobilbrowser hoch- oder herunterladen sowie Webseiten speichern, um sie später offline aufzurufen. Bei der Passworteingabe sind die Zeichen jetzt nicht mehr lesbar. Auch ein Problem beim Anklicken der Schaltfläche „Zurück“ wurde behoben. Eine Liste aller Änderungen gegenüber der Beta findet sich im Entwickler-Blog.
Opera Mini nutzt die Proxy-Server des Unternehmens, um Websites für die Anzeige im mobilen Browser zu optimieren und zu komprimieren. Dadurch soll sich das zu übertragende Datenvolumen um bis zu 90 Prozent reduzieren.
| Mit Opera Mini 4.2 erhalten Nutzer eine Alternative zu Androids WebKit-basiertem Standardbrowser (Bild: Opera). |
Server-CPUs und Server-GPUs legen deutlich zu. Das Gaming-Segment schwächelt indes.
Zwei Use-after-free-Bugs stecken in Picture In Picture und der WebGPU-Implementierung Dawn. Betroffen sind Chrome für…
Die durchschnittliche Lösegeldzahlung liegt bei 2,5 Millionen Dollar. Acht Prozent der Befragten zählten 2023 mehr…
Eine neue Analyse der EU-Kommission sieht vor allem eine hohe Verbreitung von iPadOS bei Business-Nutzern.…
Das operative Ergebnis wächst um fast 6 Billionen Won auf 6,64 Billionen Won. Die Gewinne…
Ab Werk blockiert Chrome Cookies von Dritten nun frühestens ab Anfang 2025. Unter anderem gibt…