diff options
Diffstat (limited to 'desktop')
| -rw-r--r-- | desktop/options.c | 13 | ||||
| -rw-r--r-- | desktop/options.h | 3 |
2 files changed, 14 insertions, 2 deletions
diff --git a/desktop/options.c b/desktop/options.c index da68be4d4..5ae615703 100644 --- a/desktop/options.c +++ b/desktop/options.c @@ -72,6 +72,12 @@ bool option_animate_images = true; int option_expire_url = 28; /** Default font family */ int option_font_default = CSS_FONT_FAMILY_SANS_SERIF; +/** ca-bundle location */ +char *option_ca_bundle = 0; +/** Cookie file location */ +char *option_cookie_file = 0; +/** Cookie jar loaction */ +char *option_cookie_jar = 0; EXTRA_OPTION_DEFINE @@ -97,8 +103,11 @@ struct { { "minimum_gif_delay", OPTION_INTEGER, &option_minimum_gif_delay }, { "send_referer", OPTION_BOOL, &option_send_referer }, { "animate_images", OPTION_BOOL, &option_animate_images }, - { "expire_url", OPTION_INTEGER, &option_expire_url }, - { "font_default", OPTION_INTEGER, &option_font_default }, + { "expire_url", OPTION_INTEGER, &option_expire_url }, + { "font_default", OPTION_INTEGER, &option_font_default }, + { "ca_bundle", OPTION_STRING, &option_ca_bundle }, + { "cookie_file", OPTION_STRING, &option_cookie_file }, + { "cookie_jar", OPTION_STRING, &option_cookie_jar }, EXTRA_OPTION_TABLE }; diff --git a/desktop/options.h b/desktop/options.h index 50f3a261a..f31be7c45 100644 --- a/desktop/options.h +++ b/desktop/options.h @@ -47,6 +47,9 @@ extern bool option_send_referer; extern bool option_animate_images; extern int option_expire_url; extern int option_font_default; /* a css_font_family */ +extern char *option_ca_bundle; +extern char *option_cookie_file; +extern char *option_cookie_jar; void options_read(const char *path); void options_write(const char *path); |