Là voici, la version 7 du navigateur web mobile Opera Mini est disponible depuis peu.

On connait tous Opera Mini pour sa particularité à compresser les données des pages web de 70 à 90% grâce à leurs serveurs, qui permet ainsi de bénéficier d’une navigation très rapide quand le réseau mobile n’est pas au plus haut de sa forme, tout en offrant un bon confort général.

Cette mise à jour est assez mineure, mais les ajouts apportés sont, dans l’ensemble, assez attrayants :

  • une navigation plus rapide et panoramique sur l’ensemble des sites, grâce à l’accélération matérielle améliorée
  • les compositions abrégées deviennent désormais illimités en nombre (précédemment limités à 9)
  • ajouter tous les sites que l’on souhaite sur la page de démarrage du navigateur
  • ajout d’un témoin sur la consommation data économisée par le navigateur (aide > consommation des données)

Disponible gratuit sur le Play Store, à partir d’Android 1.5 et une taille d’environ 850 ko :

Opera Mini Next, une version beta en avance sur la version actuelle est aussi disponible :

via Android Central