Opera在今天发布了Opera Mini浏览器的4.2新版,虽然在说明中Opera介绍了不少关于Opera的改进点,但是更为关键的一点是,这是Opera Mini浏览器首次正式登录Google Android平台。
根据发布介绍,最新版本的Opera Mini 4.2版本速度上远超上一版本,速度获得优化的主因是,Opera Mini首先通过代理访问Opera的服务器,让服务器来“压缩”网页,并发送“减肥”后的代码至手机。
另外,改进的视频流特性,已经可定制皮肤都是Opera Mini的改进特色之一。可以正常使用上一版程序Opera Mini的手机用户完全可以升级至新版,而Google Android手机G1也被增加到支持列表中。
实际上,相比Opera Mini,另一款浏览器Opera Mobile在功能上更加强大,对于强大的Android平台来说,Opera Mobile可能是最好的选择。有迹象表示,Opera正在开发另一种版本的Opera Mobile以应对Android平台,不过在此之前,Android平台可供选择的Opera浏览器仅有Opera Mini。
今年早些时候放出的供Android模拟器使用的Opera Mini