Opera developer toolsをオフラインで使う。

Opera developer toolsといえば、ここでボタンを提供しているが、ハッキリ言ってボタンを置く場所がない。
一応スタートバーの中に入れてはいるが、ほとんど使うことがない。
そしたらオフラインでUserJSで使えるということを知った。

>how to use Opera developer tools offline?
>http://my.opera.com/community/forums/topic.dml?id=196704
menu.iniに以下を追加する。*1

Item, "Snapshot"="Go to page, "javascript:liveSource.open()", , , " ""
Item, "DOM"="Go to page, "javascript:domConsole_2.open()", , ," ""
Item, "CSS"="Go to page, "javascript:cssConsole.open()", , ," ""

UserJSフォルダ（user.jsを入れているところ；たいていprofile下）に、以下のファイルを入れる。

http://devfiles.myopera.com/articles/59/liveSource.js
http://devfiles.myopera.com/articles/59/domConsole_2.js
http://devfiles.myopera.com/articles/59/styleSheets.js

Dev Consoleは、

Item, "Dev Console"="Go to page, "javascript:void(ujs_devConsole());", , , "dev_console""

をmenu.iniに書き足せばいいのだけど、user.jsを編集しないといけない。

http://devfiles.myopera.com/tools/developer/8679/devConsole.js
一番初めの　(function() を function ujs_devConsole()　に、一番最後の })() を }　に書き換えること。

ちなみに、Opera developer toolsの詳しい情報はこちらから。
http://webos-goodies.jp/archives/50980259.html
http://webos-goodies.jp/archives/51057316.html

追記（12/15）

Developer ConsoleはSnapshot/DOM/CSSを統合した最新版なので、Developer Consoleだけを追加したほうがいいかも。

*1:自分はあまり使わないので、Hotclick Popup Menuに書き足している。