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)) |