diff options
Diffstat (limited to 'desktop')
-rw-r--r-- | desktop/options.c | 3 | ||||
-rw-r--r-- | desktop/options.h | 1 |
2 files changed, 4 insertions, 0 deletions
diff --git a/desktop/options.c b/desktop/options.c index 2bb609d9d..65d1e25c8 100644 --- a/desktop/options.c +++ b/desktop/options.c @@ -91,6 +91,8 @@ char *option_cookie_file = 0; char *option_cookie_jar = 0; /** Home page location */ char *option_homepage_url = 0; +/** URL completion in url bar */ +bool option_url_suggestion = true; /* Fetcher configuration */ /** Maximum simultaneous active fetchers */ int option_max_fetchers = 24; @@ -139,6 +141,7 @@ struct { { "cookie_file", OPTION_STRING, &option_cookie_file }, { "cookie_jar", OPTION_STRING, &option_cookie_jar }, { "homepage_url", OPTION_STRING, &option_homepage_url }, + { "url_suggestion", OPTION_BOOL, &option_url_suggestion }, /* Fetcher options */ { "max_fetchers", OPTION_INTEGER, &option_max_fetchers }, { "max_fetchers_per_host", diff --git a/desktop/options.h b/desktop/options.h index 02b2fd21a..d3b738480 100644 --- a/desktop/options.h +++ b/desktop/options.h @@ -57,6 +57,7 @@ extern char *option_ca_bundle; extern char *option_cookie_file; extern char *option_cookie_jar; extern char *option_homepage_url; +extern bool option_url_suggestion; /* Fetcher configuration. */ extern int option_max_fetchers; |