Ноя 27 2008
Появилась бета-версия Web-браузера Opera Mini 4.2 для Android
Популярный браузер Opera Mini, у которого в начале недели вышла новая версия, стал первым сторонним Web-обозревателем для Android — с релизом бета-версии 4.2 специальной редакции для этой мобильной Linux-платформы. На сайте браузера Opera Mini его скромно называют «самым популярным в мире мобильным Web-браузером» и указывают на число пользователей, превышающее 20 миллионов.
Предварительная версия Opera Mini для Android появилась еще в апреле этого года. Но тогда разработка была скорее экспериментальной и функционировала только в эмуляторе. Среди доступных в нынешнем бета-релизе Opera Mini 4.2 для Android возможностей — закладки, масштабирование, скины, синхронизация через Opera Link, функция «быстрого набора» (speed dial).
Opera Mini отличает от других браузеров интересный принцип работы: вместо привычного рендеринга любых страниц усилиями самого браузера все HTML-файлы предварительно проходят через удаленный прокси-сервер, который до отдачи страниц на мобильное устройство преобразует их особым образом (для того, чтобы они лучше смотрелись на небольших экранах) и сжимает.
