add a jquery hook to add hrefs to anchors

This commit is contained in:
Matthew Connelly 2015-04-18 20:26:31 +01:00
parent e921575138
commit 865dd2120d
1 changed files with 1 additions and 2 deletions

View File

@ -15,13 +15,12 @@
function highlight_line() { function highlight_line() {
var lnum = window.location.hash.match(/L-\d+/); var lnum = window.location.hash.match(/L-\d+/);
if(!lnum) { return; } if(!lnum) { return; }
$('.linenos a').removeClass('selected');
$('.highlight span').removeClass('selected'); $('.highlight span').removeClass('selected');
$('.linenos a[href="#'+lnum+'"]').addClass('selected');
$('.highlight span[id="'+lnum+'"]').addClass('selected'); $('.highlight span[id="'+lnum+'"]').addClass('selected');
} }
$(document).ready(function() { $(document).ready(function() {
window.onhashchange = highlight_line; window.onhashchange = highlight_line;
if(location.hash.indexOf("#L")===0){highlight_line();} if(location.hash.indexOf("#L")===0){highlight_line();}
$('.highlight a').each(function(i) { $(this).prop('href','#'+$(this).prop('name')); });
}); });
</script> </script>