Браузер Opera Mini теперь еще лучше
Команда разработчиков мобильного браузера Opera Mini объявила о внесении ряда улучшений в свой продукт. В частности, благодаря изменениям, внесённым в работу сервера, была повышена производительность браузера и исправлена его некорректная работа в некоторых случаях. Разработчиками заявлены следующие улучшения и исправления в Opera Mini:- Добавлен простой пользовательский интерфейс для настроек сервера, переход в "opera:config" позволяет сконфигурировать некоторые установки
- Улучшено распознавание телефонного номера, теперь неверных позиций будет несколько меньше (эту функцию можно отключить в "opera:config")
- Усовершенствован движок обработки HTML-страниц
- Содержимое папки можно увидеть даже на черном фоне
- Различные оптимизации, благодаря которым перекодирование страницы занимает, в среднем, на 20% меньше времени
- Еще несколько небольших исправлений
© hpc.ru
