変更があったらブラウザを自動リロードするブックマークレット
複数のファイルを指定してどれかが変更されてればリロードできるようにした。
キャンセルを押すまでファイル指定して使う。
javascript: (function () { if (!location.href.indexOf("http://")) { alert("not local file"); return; } var func = function hook(name) { setInterval(function() { var self = arguments.callee; var req = new XMLHttpRequest(); req.open("GET", name, true); req.onload = function() { (self.old && req.responseText != self.old) && window.doc.location.reload(true); self.old = req.responseText; }; req.send(null) }, 1000); }.toString(); var script = []; script.push('<script type="text/javascript">'); script.push("(function () {"); script.push(func); var name; while (name = prompt("hook file:", location.href)) { script.push('hook("' + name + '");'); } script.push("})();"); script.push("</script>"); document.write(script.join("\n") + '<frameset><frame name="doc" src="' + location.href + '"></frame></frameset>'); document.close(); })();