The updates include lots of fixes, but no new features

Nov 3, 2011 11:31 GMT  ·  By

Opera had a very busy week, as the company pushed lots of new major updates for all mobile platforms available on the market.

No later than yesterday Opera Software announced the availability of its new Opera Mobile 6.5 for BlackBerry, iOS, S60, and J2ME, as well as Opera Mobile 11.5 for Symbian S60 devices.

Although Android fans got their Opera Mini 6.5 version more than two weeks ago, it looks like the developers decided to push another update for both its Android mobile web browsers, Opera Mobile and Opera Mini.

According to Opera Software, the Opera Mini 6.5.1 for Android devices is now available for download in the Android Market, and later today via developers' servers.

The latest version of Opera Mini for Android corrects several bugs, and brings some crash and stability fixes:

- Fixed problem with importing system bookmarks on some devices; - Fixed problems with no feedback given to the user when shortcut couldn't be added to home screen; - Fixed problems with star indication of bookmarked pages after device restart ; - Fixed problems with download view not updated properly in some cases.

Furthermore, the Opera Mobile 11.5.2 for Android update contains a lot more bug fixes, as well as a mjor change in Opera's behaviour.

Basically, a new enable/disable option that would block (or not) pages from redirecting to themselves.

According to Opera, redirecting webpages to themselves was causing site compatibility issues, so now it's been changed and users can bring the old behavior back from opera:config and enabling “Disable Client Refresh To Same Location”.

Other changes added with Opera Mobile 11.5.2 for Android include:

- Fixed problems with settings menu closing without user interaction; - Fixed long startup time on some devices; - Fixed problems with big Link accounts freezing Opera; - Fixed issue that prevented users from changing already stored credentials; - Fixed problems with cache being deleted at startup; - Fixed problems with no feedback given to the user when shortcut couldn't be added to home screen; - Fixed problems with star indication of bookmarked pages after device restart; - Fixed problems with download view not updated properly in some cases.

In addition, crash and stability fixes have been included as well, while the HTML5 audio problems have been patched.

Opera Mini 6.5.1 and Opera Mobile 11.5.2 for Android are available as free downloads in the Android Market.