#
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(/"/g, '"') .replace(/</g, '<') .replace(/>/g, '>') .replace(/&/g, '&'); } })();
URLコピーはこれでいいかな。
ブクマは… ドラッグでdeliciousとかに投げられる拡張探してみようかな。他にも使えそうだし。