diff options
| author | Lars Hjemli <hjemli@gmail.com> | 2011-05-23 23:29:24 +0200 |
|---|---|---|
| committer | Lars Hjemli <hjemli@gmail.com> | 2011-05-23 23:29:24 +0200 |
| commit | 2ffeecb7a6827dcf0f81cf543ed312155f6e8f83 (patch) | |
| tree | 328117f4fe71862b7432359b4d6a7237affd42fe /html.h | |
| parent | Merge branch 'fh/filter-api' (diff) | |
| parent | ui-stats.c: create a control panel for stat options (diff) | |
| download | cgit-pink-2ffeecb7a6827dcf0f81cf543ed312155f6e8f83.tar.gz cgit-pink-2ffeecb7a6827dcf0f81cf543ed312155f6e8f83.zip | |
Merge branch 'lh/panel'
Diffstat (limited to '')
| -rw-r--r-- | html.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/html.h b/html.h index 1135fb8..20e1dc2 100644 --- a/html.h +++ b/html.h @@ -17,6 +17,7 @@ extern void html_url_path(const char *txt); extern void html_url_arg(const char *txt); extern void html_hidden(const char *name, const char *value); extern void html_option(const char *value, const char *text, const char *selected_value); +extern void html_intoption(int value, const char *text, int selected_value); extern void html_link_open(const char *url, const char *title, const char *class); extern void html_link_close(void); extern void html_fileperm(unsigned short mode); |