jgm/highlighting-kate — pull request #25 by alpmestan (2012-09-21 15:33:21+00:00)
Title: Making line number anchors clickable for HTML rendering

This simple change just adds a link on line numbers so that they become clickable and we thus then just have to copy/paste the URL when willing to show a particular line to someone.