Kuruman Log

RewindよりRewind & Backの方が使い勝手がよいような気がしてきたので変更してみた。その理由云々はKuruman Memoで詳しく述べています。

素敵すぎる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に定義していたツールはお役ご免になった。

任意のドメインに対するアクセスだけproxyを経由する為に、override.iniへ次のような感じで追記した。

[www.example.org]
Proxy|HTTPserver=192.168.1.1
Proxy|UseHTTP=1

サイト別の設定としてGUIからは設定できないけれど、大抵の項目はoverride.iniに直書きすると有効になる。案外知られていない事実。記述内容はopera:configを見つつ適当に。

標準では8にZoom in, 100が、7にZoom out, 100が割り当てられている。しかし実際に私がよく使うのは150%程度。200%では少々大きすぎるのだ。……ということでこれらをZoom in, 50、Zoom out, 50として利便性を高めることにした。これでもう0を連打する必要もない。

ブラウザ化するメーラーのはなしを知って我がOpera Mailでも戻ったり進んだり出来るようにしてみました。具体的には戻る・進むボタンの追加とキーボードショートカットの追加。Mail Applicationは思いの外1キーショートカットが余っている。今回もzとxというこの上ないキーが残されていたのでこれらにそのままBackとFowardを割り当ててみた。