Один из самых популярных и функциональных мобильных браузеров Opera Mini версии 4.2 теперь доступен для коммуникаторов на базе Android. Установить его можно посредством Android Market.
Отличия финального релиза от бета-версии:
- Появилась возможность загрузки и скачивания файлов через Opera Mini, плюс можно сохранять веб-страницы для последующего их просмотра в режиме оффлайн.
- Представленное на веб-страницах видео воспроизводится средствами встроенного в ОС видеоплеера.
- Двойное нажатие отвечает за функцию увеличения или уменьшения масштаба.
- При вводе пароля в отведенные для этого поля, символы скрываются.
- Исправлены проблемы нестабильной работы приложения при нажатии на кнопку «Назад».
- Увеличена скорость прокрутки для трекбола.
- Выставлен большой размер шрифта для всех внутренних страниц (например, для стартовой), что облегчит навигацию.
Напомним, что вариант этого браузера для платформы Java появился в конце ноября прошлого года.