Состоялся релиз Opera Mini 4.2 для платформы Google Android

Один из самых популярных и функциональных мобильных браузеров Opera Mini версии 4.2 теперь доступен для коммуникаторов на базе Android. Установить его можно посредством Android Market.

Отличия финального релиза от бета-версии:

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

Напомним, что вариант этого браузера для платформы Java появился в конце ноября прошлого года.