]> gitweb.ps.run Git - ps-cgit/blobdiff - ui-shared.c
Extend repo summary with tag list
[ps-cgit] / ui-shared.c
index 9ec4be8661928e7412df78595e4048642c747f74..bebd3e01b9ad7af2748788cf3a0f919bc4c5e73b 100644 (file)
@@ -25,7 +25,7 @@ static char *http_date(time_t t)
                   tm->tm_hour, tm->tm_min, tm->tm_sec);
 }
 
-static int ttl_seconds(int ttl)
+static long ttl_seconds(long ttl)
 {
        if (ttl<0)
                return 60 * 60 * 24 * 365;
@@ -60,6 +60,18 @@ char *cgit_pageurl(const char *reponame, const char *pagename,
        }
 }
 
+char *cgit_currurl()
+{
+       if (!cgit_virtual_root)
+               return "./cgit.cgi";
+       else if (cgit_query_page)
+               return fmt("%s/%s/%s/", cgit_virtual_root, cgit_query_repo, cgit_query_page);
+       else if (cgit_query_repo)
+               return fmt("%s/%s/", cgit_virtual_root, cgit_query_repo);
+       else
+               return fmt("%s/", cgit_virtual_root);
+}
+
 
 void cgit_print_date(unsigned long secs)
 {
@@ -98,12 +110,26 @@ void cgit_print_docend()
        html("</body>\n</html>\n");
 }
 
-void cgit_print_pageheader(char *title)
+void cgit_print_pageheader(char *title, int show_search)
 {
        html("<div id='header'>");
        htmlf("<a href='%s'>", cgit_logo_link);
        htmlf("<img id='logo' src='%s'/>\n", cgit_logo);
        htmlf("</a>");
+       if (show_search) {
+               html("<form method='get' href='");
+               html_attr(cgit_currurl());
+               html("'>");
+               if (cgit_query_head)
+                       html_hidden("h", cgit_query_head);
+               if (cgit_query_sha1)
+                       html_hidden("id", cgit_query_sha1);
+               if (cgit_query_sha2)
+                       html_hidden("id2", cgit_query_sha2);
+               html("<input type='text' name='q' value='");
+               html_attr(cgit_query_search);
+               html("'/></form>");
+       }
        if (cgit_query_repo)
                htmlf("<a href='%s'>", cgit_repourl(cgit_query_repo));
        html_txt(title);