diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2018-09-03 14:49:51 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2018-09-03 14:49:51 +0200 |
| commit | b582203477c7587cba3d8df079c31cf795f470bc (patch) | |
| tree | 7784e8e1e0fa1e4a73306a7bfb2c4b8c2f49ffb1 | |
| parent | e22ac4903378fd3f0bde32ecb69a838cdaa8c2d0 (diff) | |
view: Provide search hints and link to /help.
| -rw-r--r-- | mumi/web/view/html.scm | 42 |
1 files changed, 35 insertions, 7 deletions
diff --git a/mumi/web/view/html.scm b/mumi/web/view/html.scm index 3098bc3..693eadd 100644 --- a/mumi/web/view/html.scm +++ b/mumi/web/view/html.scm @@ -116,14 +116,42 @@ (div (@ (class "container")) (h1 "Guix patch tracker") - (div - (@ (id "about") - (class "row")) - (p "This is a web frontend to the Guix patch tracker. Send email to " - (a (@ (href ,(string-append "mailto:" (%config 'submission-email-address)))) - ,(%config 'submission-email-address)) - " to submit your patches.")) + (p (@ (class "row")) + "This is a web frontend to the Guix patch tracker. Send email to " + (a (@ (href ,(string-append "mailto:" (%config 'submission-email-address)))) + ,(%config 'submission-email-address)) + " to submit your patches.") ,(search-form #:standalone? #t) + (div + (@ (class "row")) + (div + (@ (class "panel panel-default")) + (p (@ (class "panel-body")) + (strong "Hint: ") + "Refine your search with filters like " + (span (@ (class "filter")) + "is:open") + ", " + (span (@ (class "filter")) + "author:me") + ", " + (span (@ (class "filter")) + "submitter:me") + ", " + (span (@ (class "filter")) + "date:yesterday..now") + ", " + (span (@ (class "filter")) + "date:2018-04-01..2018-04-02") + ", " + (span (@ (class "filter")) + "date:1m..today") + ", " + (span (@ (class "filter")) + "mdate:2w..12h") + ", and " + (a (@ (href "help#search")) + "many more!")))) ;; TODO: do this via JS? ,@(let ((bugs (recent-bugs 5))) (if (null? bugs) |