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

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

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

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

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