##// END OF EJS Templates
minor heading-link tweaks...
MinRK -
Show More
@@ -516,13 +516,14 b' var IPython = (function (IPython) {'
516 HeadingCell.prototype.set_rendered = function (text) {
516 HeadingCell.prototype.set_rendered = function (text) {
517 var r = this.element.find("div.text_cell_render");
517 var r = this.element.find("div.text_cell_render");
518 r.empty();
518 r.empty();
519 var link = text.replace(/ /g, '_');
519 r.append(
520 r.append(
520 $('<h'+this.level+'/>')
521 $('<h'+this.level+'/>')
521 .append(
522 .append(
522 $('<a/>')
523 $('<a/>')
523 .addClass('heading-anchor')
524 .addClass('heading-anchor')
524 .attr('href', '#' + text)
525 .attr('href', '#' + link)
525 .attr('name', text)
526 .attr('id', link)
526 .html(text)
527 .html(text)
527 )
528 )
528 );
529 );
General Comments 0
You need to be logged in to leave comments. Login now