読者です 読者をやめる 読者になる 読者になる

#

Gaucheリファレンスの細かく打ってある見えないアンカーを、ブクマとか引用しやすいように可視化しておく。
→アンカーはバージョンアップ時に変更されるから使わない方が良いとのこと。下に代替案を書きました。

// @include        http://practical-scheme.net/gauche/man/*
(function () {
  var a = document.getElementsByTagName("a");
  var url = location.href.split(/#/)[0];
  for (var i = 0; i < a.length; ++i) {
    if (a[i].innerHTML == "") {
      a[i].innerHTML = "#";
      a[i].href = url + "#" + a[i].name;
    }
  }
})();

修正

コメントでshiroさんに教えていただいた検索用URLを使うように。
細かいこと考えずに太字の箇所を全部リンク付けしてみる。

// @include        http://practical-scheme.net/gauche/man/*
(function () {
  var url = ['http://practical-scheme.net/gauche/man/?l=',
             location.href.match(/refe/)?'en':'jp',
             '&p='].join('');
  var b = document.getElementsByTagName("b");
  for (var i = 0; i < b.length; ++i) {
    var a = document.createElement('a');
    a.href = url + escape(unescapeHTML(b[i].innerHTML));
    a.appendChild(b[i].cloneNode(true));
    b[i].parentNode.replaceChild(a, b[i]);
  }
  
  function unescapeHTML(s) {
    return s.replace(/<[^>]+>/g, '')
            .replace(/&quot;/g, '"')
            .replace(/&lt;/g, '<')
            .replace(/&gt;/g, '>')
            .replace(/&amp;/g, '&');
  }
})();

URLコピーはこれでいいかな。
ブクマは… ドラッグでdeliciousとかに投げられる拡張探してみようかな。他にも使えそうだし。