Skip navigation.

Kuruman Log

かつて自分のカスタムログを書きためていたこともあった

Posts tagged with "menu"

0 ctrlに何か割り当てようよという話を書いた

, ,

Ctrl+0に何か割り当てた方が良いよとか、ウィンドウパネル使えよとか、Internal Window Menuが便利だよとか、そんな話をタブ切り替えの方法ってな感じで長々と書いてみた。今日のカスタマイズというわけではないのでここには詳細を書かない。

開発者向けツール

, ,

素敵すぎる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';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';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';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';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';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';ele.parentNode.removeChild(ele);liveSource.open();})();""

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

menu.iniを書き換えた

,

ずっと使い回していたmenu.iniをリプレイスした。デフォルトでは存在しない機能を追加するというスタンスではなく、使わない機能を消し去ってメニューをすっきりさせるのがメイン。一般向けではありません。自分向けのバックアップ。

opera_ex、obook対応。開発者向けメニューを幾つか追加。元のデータをコメントアウトしていたりと、非常に見難いファイルですが、参考にしたい方はどうぞ。ショートカットキーの定義を怠っているので気が向いたらその辺りを追記する予定。

謎の[Alternate Browser Menu Bar]を定義していますのでBrowser Menu Barを非表示にして何らかのショートカット、若しくはボタンにそれを登録するのがお薦めです。尤も、このメニュー自体クセがありすぎますが。

Download Opera, the fastest and most secure browser