From 2c9d69940dea0cac0c10acd48698c07a2d15c924 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Jul 29 2015 15:49:33 +0000
Subject: Add the anchor to the comment using the comment identifier in inline comments


---

diff --git a/pagure/ui/filters.py b/pagure/ui/filters.py
index c5e3f62..d10a9a6 100644
--- a/pagure/ui/filters.py
+++ b/pagure/ui/filters.py
@@ -143,7 +143,13 @@ def format_loc(loc, commit=None, filename=None, prequest=None, index=None):
                 output.append(
                     '<tr><td></td>'
                     '<td colspan="2"><table style="width:100%%"><tr>'
-                    '<td><a href="%(url)s">%(user)s</a></td>'
+                    '<td>'
+                    '<header id="comment-%(commentid)s">'
+                    '<a href="%(url)s">%(user)s</a> '
+                    '<a class="headerlink" href="#comment-%(commentid)s" '
+                    'title="Permalink to this headline"> %(anchor)s </a>'
+                    '</header>'
+                    '</td>'
                     '<td class="right">'
                     '%(date)s%(templ_delete)s'
                     '</td>'
@@ -159,6 +165,8 @@ def format_loc(loc, commit=None, filename=None, prequest=None, index=None):
                             'date': comment.date_created.strftime(
                                 '%b %d %Y %H:%M:%S'),
                             'comment': markdown_filter(comment.comment),
+                            'commentid': comment.id,
+                            'anchor': u'¶',
                         }
                     )
                 )