Opera7.2

とりあえず愛用のOperaを7.2にアップグレード。7.13を入れた状態では何故かエラーが発生するので、Operaをクリーンインストール。しかし、その作業の中でブックマークを残すのを忘れて・・・。嗚呼、哀しきかな。
でも、具体的にどの辺りが変わったんだろうか。気のせいかもしれませんが、非常に快適にレンダリングされるようなのですが。
7.13の遅さに閉口していた私としては嬉しい限りです。