Компания Opera Software усовершенствовала браузер для мобильных телефонов Opera Mini, сообщает Mobile . Разработчики приложения в своем блоге сообщили, что улучшили работу сервера, что позволило повысить скорость работы Opera Mini. Также они отметили, что исправили несколько ошибок в работе программы.
Улучшения в Opera Mini:
* Был добавлен более простой пользовательский интерфейс для настройки серверной части браузера
* Улучшено распознавание телефонных номеров в тексте
* Увеличено с 20 до 40 секунд время тайм-аута
* Обновлена система обработки HTML (она стала похожа на движок, используемый в Opera 9.5)
* Исправлена ошибка с неотображением адресов страниц, начинающихся с цифр, или без http:// в начале
* Оптимизация, снизившая время транскодирования на 20%
* Другие небольшие добавления и исправления