Kilka dni temu serwery Opery mini przeszły aktualizację, poprawiono kilka błędów i dodano parę usprawnień ułatwiających przeglądanie stron.

Najważniejsze zmiany:
* dodano interfejs Power-User settings [żeby go uruchomić trzeba w miejscu gdzie zwykle podajemy adres strony wpisać opera:config], gdzie można ustawić podstawowe preferencje jak np. wykrywanie numerów telefonów na stronie, zwijanie wiadomości w czytniku RSS, dopasowywanie tekstu do ekranu etc.
* zwiększenie timeout do 40 sekund z 20
* wyświetlanie stron podobne do tego z Opery Mobile 9.5
* poprawiona obsługa domen zaczynających się od cyfry np. 360.yahoo.com
* poprawiona obsługa tzw. linków inter-page [prowadzących do konkretnego miejsca na stronie]
* nowe arkusze WML

Źródło: opera.com