File tree Expand file tree Collapse file tree 1 file changed +15
-1
lines changed Expand file tree Collapse file tree 1 file changed +15
-1
lines changed Original file line number Diff line number Diff line change @@ -7192,7 +7192,21 @@ sub git_blob {
7192
7192
$lang =~ s ! (\S +)$! $brush_prefix$1 ! ;
7193
7193
print " '" .$lang .qq! .js',! ;
7194
7194
}
7195
- print qq! ''); SyntaxHighlighter.all();</script>! ;
7195
+ print qq! ''); SyntaxHighlighter.all();!
7196
+ .qq! function scrollTo(number) {!
7197
+ .qq! var elements = document.getElementsByClassName(number);!
7198
+ .qq! if (elements.length == 0) setTimeout('scrollTo("' + number + '");', 50);!
7199
+ .qq! else {!
7200
+ .qq! window.scroll(0, elements[0].offsetTop);!
7201
+ .qq! window.scrollTo(0, elements[0].offsetTop);!
7202
+ .qq! elements[0].style.color = '#ff0000';!
7203
+ .qq! }!
7204
+ .qq! }!
7205
+ .qq! var lineRegex = /#l(\\ d+)\$ /;!
7206
+ .qq! var lineNumber = lineRegex.exec(document.URL);!
7207
+ .qq! if (lineNumber)!
7208
+ .qq! scrollTo('number' + lineNumber[1]);!
7209
+ .qq! </script>! ;
7196
7210
} else {
7197
7211
my $nr ;
7198
7212
while (my $line = <$fd >) {
You can’t perform that action at this time.
0 commit comments