Opera Mini 5 contre Opera Mini 4.2

Opera a récemment publié Opera Mini 5, qui apporte de nombreux avantages d'Opera Mini 4.2 à un programme natif pour Windows Mobile.

Dans les deux vidéos ci-dessous, Opera Mini 5 est comparé à 4.2, et Opera Mobile 10 est comparé à 9.7 (en temps de chargement des pages).

Ce qui est intéressant, c'est à quel point les anciennes versions du navigateur sont proches des nouvelles. Mini 4.2 est en fait plus rapide que Mini 5 au chargement de WMPowerUser.com, prenant 26 secondes, tandis que Mini 5 prend 33 secondes. Les délais entre Mini et Mobile sont étonnamment courts, Mobile 9.7 prenant 28 secondes et Mobile 10 ne prenant que 27 secondes (c'est avec Opera Turbo désactivé). Opera Mini 4.2 est (à mon avis) absolument inutile, avec des erreurs continues de type "ce n'est pas signé", "êtes-vous sûr", bien que je suppose que cela découle du fait qu'il est basé sur Java.

L'interface utilisateur sur Mobile 10 et Mini 5 est à peu près la même, bien que je préfère personnellement celle de 9.7.

Le choix entre Mini et Mobile dépend autant de vos préférences personnelles que de toute autre chose. Opera Mini est plus rapide que Mobile pour le chargement et le rendu des pages (tout est fait sur un serveur distant) mais le format de la page n'est pas aussi bon, et cela semble un peu étrange. J'ai également reçu quelques erreurs de connexion avec Opera Mini, alors qu'Opera Mobile chargeait la page avec grand plaisir.

Lequel préférez-vous, Mobile ou Mini ?