##// END OF EJS Templates
fixed issue with padding fix breaks history on firefox
marcink -
r3124:6659c5af beta
parent child Browse files
Show More
@@ -86,15 +86,6 b' YUE.onDOMReady(function(){'
86 }
86 }
87 highlight_lines(h_lines);
87 highlight_lines(h_lines);
88
88
89 //remember original location
90 var old_hash = location.href.substring(location.href.indexOf('#'));
91
92 // this makes a jump to anchor moved by 3 posstions for padding
93 window.location.hash = '#L'+Math.max(parseInt(h_lines[0])-3,1);
94
95 //sets old anchor
96 window.location.hash = old_hash;
97
98 }
89 }
99
90
100 // select code link event
91 // select code link event
General Comments 0
You need to be logged in to leave comments. Login now