diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2020-05-12 21:27:18 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2020-05-12 21:27:18 +0200 |
commit | 80fc72a4a228720c38ee9a1049968c536cd17d00 (patch) | |
tree | 18ff8dafc9785c2f39f3b41f2a6b5c26ddab68bd | |
parent | 75d34d4d9c20b87d637b027900744da976c5f436 (diff) |
view/html: Show tag in issue list.
-rw-r--r-- | mumi/web/view/html.scm | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/mumi/web/view/html.scm b/mumi/web/view/html.scm index 3fb8177..b251283 100644 --- a/mumi/web/view/html.scm +++ b/mumi/web/view/html.scm @@ -615,6 +615,13 @@ M7 1C3.14 1 0 4.14 0 8\ s3.14 7 7 7 7-3.14 7-7-3.14-7-7-7z\ m1 3H6v5h2V4zm0 6H6v2h2v-2z"))))) '()) + ,(or (and=> (bug-tags bug) + (lambda (tag) + `(span + (@ (class ,(string-append "badge badge-info mr-2 " + tag))) + ,tag))) + '()) ,(if id `(a (@ (href ,(string-append "/" id))) ,(bug-subject* bug)) |