リンクの文字列とそのリンクをブックマークに追加するときのタイトルを違うものにしたい場合がままあるのですけれども、どうも Firefox でうまくいきませんでした。テストhttp://miya2000.up.seesaa.net/test/firefox_title.htmFirefox では 5 のような妙な…

bookmarklet: javascript:(function(w){var d=w.document,f=d.createElement('form'),x=new XMLHttpRequest();x.open('GET',location,0);x.send(null);d.body.appendChild(f);with(f)action='http://htmllint.itc.keio.ac.jp/htmllint/htmllint.cgi',method=…

勢いで前に書いたのを添削もせずにのっけてみる。IE不可。完全一致のみ。改善希望。 (function(){ var style = document.createElement('style'); style.type = 'text/css'; style.style.display = 'none'; style.textContent = '.simplegrep_hide { margin:…