Opera Weekly
今回の Weekly は 9.12 から 9.20 に進んで Dev.Tool をメニュに取り込んで来た。ini file を覗いてみれば分かるように、Dev.Opera の Opera developer tools を呼び出しているだけなので、ボタン化してツールバーに組み込んであるのと基本的には変わらないはず。
Item, "Developer Console"="Go to page, "javascript:(function(){var ele=document.documentElement.appendChild(document.createElement('script'));ele.src='http://devfiles.myopera.com/tools/developer/8679/devConsole.js';ele.parentNode.removeChild(ele);opera.tools.console.open();})();", , , " ""
スクリーンショットは HigeOpera にあるので、重複を避けます。
Linux 版は build 547 と告知されているが、opera:about には 557 となっている。内部での数字割り振りに混乱があったそうだ。
以下は描画も乱れている様子。Opera 上で Window を動かすと痕跡が残る。他のアプリを Opera 上で動かしても同じ。また Preferences の Advanced のうち Browsing が選択出来ないなど私の環境では問題ありすぎ。