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). |
Die Entwickler arbeiten noch an weiteren „Verfeinerungen“. Windows Insider erhalten nun wohl eine erste Vorschau…
Laut Bitkom-Umfrage werden in jedem dritten Unternehmen in Deutschland private KI-Zugänge genutzt. Tendenz steigend.
2023 erlitten neun von zehn Unternehmen in der DACH-Region Umsatzverluste und Kurseinbrüche in Folge von…
Der Report „Pacific Rim“ von Sophos beschreibt Katz-und-Maus-Spiel aus Angriffs- und Verteidigungsoperationen mit staatlich unterstützten…
NVIDIA DGX SuperPOD soll voraussichtlich Mitte 2025 in Betrieb genommen und für Forschungsberechnungen genutzt werden.
Latrodectus, auch bekannt als BlackWidow, ist auch unter dem Namen LUNAR SPIDER bekannt.