Android, le système d'exploitation mobile de Google, n'accueillait jusqu'ici qu'une version bêta du navigateur Opera Mini 4.2, dont la version finale à destination d'autres systèmes d'exploitation est sortie en novembre dernier. Le retard est désormais comblé, indique l'éditeur Opera Software. Opera Mini 4.2 pour Android est donc dès à présent disponible via le kiosque de téléchargement d'applications mis en place par Google, l'Android Market.
La particularité d'Opera Mini est d'opérer, à la façon du navigateur des Blackberry de RIM, un redimensionnement des pages Web à la volée avant de procéder à leur affichage, l'idée étant de compresser les données afin d'accélérer leur traitement.
Dans sa version Android finale, Opera Mini 4.2 introduit en outre diverses fonctionnalités, comme la possibilité de consulter des pages Web préalablement enregistrées en mode déconnecté, un zoom accessible via une double pression sur l'écran tactile, sans oublier diverses améliorations et corrections diverses, allant d'une meilleure gestion du trackball à la redirection automatique des vidéos consultées en ligne vers le lecteur multimédia du système.
Opera Mini 4.2 peut être téléchargé gratuitement depuis l'Android Market.