Kuruman Log

素敵すぎるOpera developer toolsなんてボタンが公開されていたので、メニューとキーボードショートカットに埋め込んでみた。

menu.iniにはこんな感じで。Web Tools Menuセクションは自分が勝手に定義しているそれ系のサブメニュー。

[Web Tools Menu]
Item, "&DOM Console"=Go to page, "javascript:(function(){var ele=document.getElementsByTagName('head')[0].appendChild(document.createElement('script'));ele.type='text/javascript';ele.src='http://devfiles.myopera.com/articles/59/domConsole_2.js%27;ele.parentNode.removeChild(ele);domConsole_2.open();})();"
Item, "&CSS Editor"=Go to page, "javascript:(function(){var ele=document.getElementsByTagName('head')[0].appendChild(document.createElement('script'));ele.type='text/javascript';ele.src='http://devfiles.myopera.com/articles/59/styleSheets.js%27;ele.parentNode.removeChild(ele);cssConsole.open();})();"
Item, "DOM &Snapshot"=Go to page, "javascript:(function(){var ele=document.getElementsByTagName('head')[0].appendChild(document.createElement('script'));ele.type='text/javascript';ele.src='http://devfiles.myopera.com/articles/59/liveSource.js%27;ele.parentNode.removeChild(ele);liveSource.open();})();"</codde>

キーボードショートカットはApplicationセクションにこんな感じで定義した。Browser Windowセクションで良いような定義なのだけれど、習慣的に何でもAplicationセクションにつっこんでしまう……これはよろしくない。

[Application]
x alt, d, o, m=Go to page, "javascript:(function(){var ele=document.getElementsByTagName('head')[0].appendChild(document.createElement('script'));ele.type='text/javascript';ele.src='http://devfiles.myopera.com/articles/59/domConsole_2.js%27;ele.parentNode.removeChild(ele);domConsole_2.open();})();
x alt, c, s, s="Go to page, "javascript:(function(){var ele=document.getElementsByTagName('head')[0].appendChild(document.createElement('script'));ele.type='text/javascript';ele.src='http://devfiles.myopera.com/articles/59/styleSheets.js%27;ele.parentNode.removeChild(ele);cssConsole.open();})();""
x alt, s, o="Go to page, "javascript:(function(){var ele=document.getElementsByTagName('head')[0].appendChild(document.createElement('script'));ele.type='text/javascript';ele.src='http://devfiles.myopera.com/articles/59/liveSource.js%27;ele.parentNode.removeChild(ele);liveSource.open();})();""

今までx alt, d, o, mに定義していたツールはお役ご免になった。