Dobra wiadomość dla wszystkich, którzy używają przeglądarki Opera Mini. Doczekała się ona bowiem aktualizacji do wersji 5.1. Poprawiono sporo błędów, m.in. wychodzenie z programu do pulpitu, a następnie ponowne jego uruchomienie nie spowoduje zresetowania aplikacji – zobaczymy wszystkie zakładki, które mieliśmy otwarte przy minimalizowaniu przeglądarki.
Aktualizacja dodaje długo oczekiwaną funkcję ustawienia przeglądarki jako domyślnej. Od teraz nie trzeba używać osobnych programów, które miały za zadanie uruchamianie Opery po kliknięciu w odnośnik umieszczony w innej aplikacji. Dodano również powiększanie strony pinch-to-zoom. Niestety nie działa to najlepiej, gdyż Opera Mini oferuje tylko dwa poziomy zoomu – widok na całą stronę i wybrany fragment. Funkcja ta zastępuje więc podwójne tapnięcie ekranu, które jest zdecydowanie szybsze i wygodniejsze.
Opera Mini 5.1 dostępna jest bezpłatnie w markecie lub do pobrania na stronie Opery po kliknięciu w link.
Źródło: phandroid.com