log: allow users to follow a file

[ps-cgit] / ui-shared.h

diff --git a/ui-shared.h b/ui-shared.h
index 1b8ecb5c19df17e38fd99d836b47a88f0d413ea9..788b1bca5191e490a00e9a0b84e01fba9fa7a00e 100644 (file)
--- a/ui-shared.h
+++ b/ui-shared.h
@@ -1,6 +1,8 @@
 #ifndef UI_SHARED_H
 #define UI_SHARED_H
 
+#include <stdbool.h>
+
 extern const char *cgit_httpscheme();
 extern const char *cgit_hosturl();
 extern const char *cgit_rooturl();
@@ -29,7 +31,7 @@ extern void cgit_plain_link(const char *name, const char *title,
 extern void cgit_log_link(const char *name, const char *title,
                          const char *class, const char *head, const char *rev,
                          const char *path, int ofs, const char *grep,
-                         const char *pattern, int showmsg);
+                         const char *pattern, int showmsg, int follow);
 extern void cgit_commit_link(char *name, const char *title,
                             const char *class, const char *head,
                             const char *rev, const char *path);
@@ -61,6 +63,7 @@ extern void cgit_vprint_error(const char *fmt, va_list ap);
 extern void cgit_print_date(time_t secs, const char *format, int local_time);
 extern void cgit_print_age(time_t t, time_t max_relative, const char *format);
 extern void cgit_print_http_headers(void);
+extern void cgit_redirect(const char *url, bool permanent);
 extern void cgit_print_docstart(void);
 extern void cgit_print_docend();
 extern void cgit_print_pageheader(void);