Opera ha aggiornato Opera Mini, browser alternastivo per dispositivi con iOS che include diverse caratteristiche di rilievo: navigazione con schede (per esplorare siti web differenti e passare dall’uno all’altro con semplicità), Accesso Rapido (un sistema per andare alle pagine web preferite con un solo clic unsando un insieme di segnalibri visuali), un sistema di menu a click prolungato che consente di effettuare operazioni come aprire un link un una nuova scheda, modificare i link dell’accesso rapido o copiare e incollare testo. Interessante anche un sistema per memorizzare le password dei vari siti e Opera Link, un tool che consente di sincronizzare i segnalibri, i link di accesso rapido e i motori di ricerca con l’equivalente applicazione per Mac o PC. L’ultima versione mette a disposizione misuratore del traffico dati grazie al quale è possibile visualizzare il risparmio in termini di traffico, funzione particolarmente utile quando si è connessi a reti lente, si è distanti da un punto di accesso Wi-Fi o in caso di roaming. Il produttore afferma che la tecnologia cloud utilizzata comprime i dati fino al 90% prima di inviarli, accelerando così il caricamento della pagina. Il nuovo Opera Mini supporta l’autocompletamento del test ( inclusi i suggerimenti per i domini e la correzione automatica), permette di aggiungere rapidamente un sito ai segnalibri utilizzando la stella nel campo dell’URL, prevede un migliore sistema per la selezione del testo e include un tool per la condivisione via e-mail.
Opera Mini si scarica gratis dall’App Store.
[A cura di Mauro Notarianni]