0
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.
Alex, responsable des rédactions. Venu au hardware par goût pour les composants qui fument quand on les maltraite, passé depuis par tout ce qu'on peut de près ou de loin ranger dans la case high-tech, que ça concerne le grand public, l'entreprise, l'informatique ou Internet. Milite pour la réhabilitation de Après que + indicatif à l'écrit comme à l'oral, grand amateur de loutres devant l'éternel, littéraire pour cause de vocation scientifique contrariée, fan de RTS qui le lui rendent bien mal.
Lire d'autres articles
