ようやく Opera7 系の正式日本語版が出ました。jp.opera.com から落とせます。
例によって menu.ini やら opera6.ini やらに仕様変更があるらしいですので、Opera7 系でバージョンアップする際はクリーンインストール推奨のようです。
なお、Opera6 と Opera7 は同じ Opera という名前がついているだけの中身が異なるブラウザです。Opera6.05J からバージョンアップする場合は何も考えずに別のブラウザとしてインストールして、[ファイル]→[インポート] あたりからブックマークだけインポートしてください。
詳しいことは yaske さんとこなどの情報ページを参照のこと。
_ ん？今気づいたのですが、7.01 までにあった TextArea の不具合がもしかして直ってますか？ Ctrl+Backspace でちゃんと再変換可能のようです。これはすごく嬉しい。ちょっと前までは Ctrl+BS に関連づけられたショートカットである「１階層上に登る」が実行されてしまったり、そうじゃなくてもかなり激しくテキストが削除されてしまったりしていたのですが……。さすがは正式版です。
また備品廃棄の季節がやってきました。久々に研究室に出てひたすらディスプレイやらマシンやらを中庭へ。今回の廃棄ではいつもにもまして激しくものが捨てられておりました……。基本的に１０年廃棄できないはずですので、ちょうど１０年前くらいのものがぎょうさん。明日あたり、中庭から確実に溢れそうです。
やたらでかくて重いマイクロフィルムの何かとか、謎の機械もたくさん・・・