view: Show issue title in fixed top bar.
authorRicardo Wurmus <rekado@elephly.net>
Tue, 5 May 2020 13:18:35 +0000 (15:18 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Tue, 5 May 2020 13:18:35 +0000 (15:18 +0200)
assets/css/screen.css
mumi/web/view/html.scm

index b622de7c9101c26dd4ae8cf0063d86eb8f5159b5..e0c73827636dfd9c7254b5fc810086fe66818b09 100644 (file)
@@ -6,6 +6,10 @@ html, body {
     margin: 0px;
 }
 
+body {
+    padding-top: 3em;
+}
+
 h1 {
     clear: both;
     margin-top: 1.3rem;
index 95da8c1f51e655f24addfbe70685570619d1aa53..df28d10ebe0cf33dac82f9703c42df55571d1578 100644 (file)
@@ -173,11 +173,14 @@ simple query language.  Here is a list of supported query terms:")
            (a (@ (href "help#search"))
               "many more!"))))))
 
-(define* (header #:key (search-bar? #t))
+(define* (header #:key (search-bar? #t) title)
   `(nav
-    (@ (class "navbar navbar-expand navbar-light bg-light"))
+    (@ (class "fixed-top navbar navbar-expand navbar-light bg-light"))
     (a (@ (href "/") (class "navbar-brand pt-0 logo navbar-collapse"))
        (img (@ (src "/img/logo.png") (alt "logo") (height "25"))))
+    ,@(if title
+          `((span (@ (class "navbar-text navbar-collapse")) ,title))
+          '())
     ,@(if search-bar?
           `(,(search-form))
           '())))
@@ -371,7 +374,7 @@ failed to process associated messages.")
       (layout
        #:title (bug-subject* bug)
        #:body
-       `(,(header)
+       `(,(header #:title (bug-subject* bug))
          (div
           (@ (class "container"))
           ,@(match flash-message