Kuruman Log

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

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

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

• opera902_menu.ini

LDRにブックマーク数を表示するスクリプトを入れてみた。最近メモリ不足でLDRの閲覧中にOperaが度々お亡くなりになるモノで……重そうだったら外します。

UserJSをちょいと調整したので覚え書き。

一つ目。ダイアリーのプレビュー機能で紹介されているUserJSをhatenaDiaryPreview.user.jsと名付けて導入した。その後コメント欄での指摘を受けhatenaDiaryPreview.jsに改名した。プレビュー機能、別に必要とはしていないので気にも留めていなかったのだけれど……折角使えるようにしてくれたのだから導入しない手はない。

二つ目。別窓に別れを告げるUserJSがLivedoor Readerの実行に必要な関数を上書きしているようだったので拡張子を.user.jsに変え、除外対象に加えてみた。今現在入れているUserJSは以下のようになっている。人様の著作物の寄せ集め。

// ==UserScript==
// @name        disableTargetBlank
// @include     http://*
// @exclude     http://reader.livedoor.com/reader/
// ==/UserScript==

(function () {
  window.opera.addEventListener('BeforeScript', function(e){
    e.element.text = e.element.text.replace(/window\.open/g,'void');
}, false);
window.opera.addEventListener('AfterEventListener.load', function(){
  var expr = (window.name) ? '/*[@target="_blank"]' : '//*[@target]';
  var result = document.evaluate(expr, document, null, XPathResult.UNORDERED_NODE_ITERATOR_TYPE, null);
  var node;
  while(node = result.iterateNext()) node.target = '_top';
}, false);
document.addEventListener('load', disableTargetBlankAll, false);
function disableTargetBlank(tag) {
  var linkAnchs = document.getElementsByTagName(tag);
  for (var i = 0; i < linkAnchs.length; i++) {
    var LAtarget = linkAnchs.target;
    if((!window.name && LAtarget) || LAtarget == '_blank' || LAtarget == '_new' || LAtarget == '_brank') {
      linkAnchs.target = '_top';
    }
  }
}
function disableTargetBlankAll() {
  disableTargetBlank('base');
  disableTargetBlank('a');
  disableTargetBlank('area');
  disableTargetBlank('link');
  disableTargetBlank('form');
}

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