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 | |
| 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')
| -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); |