Opera、Android向け「Opera Mini 4.2」正式版をリリース

[ITmedia]

　ノルウェーのOperaは1月28日、「Opera Mini 4.2 for Android」の正式版をリリースした。Android Marketで入手できる。

　β版から幾つかの点が改良された。Opera Mini経由でのファイルのアップロード、ダウンロードが可能になり、オフラインでのページ閲覧ができるようになった。また指で軽く2回叩く（ダブルタップ）と、画面の拡大、縮小ができる。そのほか、入力したパスワードを隠す機能の修正、戻るボタンを押したときに生じていた問題の修正、トラックボール速度の改善など、問題修正も行われている。