1 // rewrite the view-source links
2 addLoadEvent(function () {
3 var elems
= getElementsByTagAndClassName("A", "view-source");
4 var page
= "logging_pane/";
5 for (var i
= 0; i
< elems
.length
; i
++) {
7 var href
= elem
.href
.split(/\//).pop();
8 elem
.target
= "_blank";
9 elem
.href
= "../view-source/view-source.html#" + page
+ href
;