diff options
author | John Mark Bell <jmb@netsurf-browser.org> | 2006-01-08 01:51:33 +0000 |
---|---|---|
committer | John Mark Bell <jmb@netsurf-browser.org> | 2006-01-08 01:51:33 +0000 |
commit | 745deb7a9d4bf26a6339a297c3c06bb12f5cc102 (patch) | |
tree | 21fce77c94096ea7a9297a67edde9857492338d4 /desktop/options.c | |
parent | 5eb7692b8ff2a0b226fa56ee4bb3c2d8f8e98044 (diff) | |
download | netsurf-745deb7a9d4bf26a6339a297c3c06bb12f5cc102.tar.gz netsurf-745deb7a9d4bf26a6339a297c3c06bb12f5cc102.tar.bz2 |
[project @ 2006-01-08 01:51:33 by jmb]
Make data file locations user-configurable (no UI for this as yet)
Reduce intrusiveness of ncos modifications
Fix GTK build
Remove Cookies file details from Messages (this data never belonged in there anyway)
Make gui_init more robust against memory exhaustion.
svn path=/import/netsurf/; revision=2014
Diffstat (limited to 'desktop/options.c')
-rw-r--r-- | desktop/options.c | 13 |
1 files changed, 11 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 }; |