diff options
| author | Michael Drake <tlsa@netsurf-browser.org> | 2009-08-14 10:37:33 +0000 |
|---|---|---|
| committer | Michael Drake <tlsa@netsurf-browser.org> | 2009-08-14 10:37:33 +0000 |
| commit | 13afa0ff4c591e7800dc4c11a81d04c335418c05 (patch) | |
| tree | 017f315584621f418a8bab5627aee8f8364d377b /desktop/options.c | |
| parent | 3549846a9aec635bea82a919c5c1e38c7163731a (diff) | |
| download | netsurf-13afa0ff4c591e7800dc4c11a81d04c335418c05.tar.gz netsurf-13afa0ff4c591e7800dc4c11a81d04c335418c05.tar.bz2 | |
Merge Paul Blokus' selectscroll branch. Adds core select menu widget for forms and core scrollbar widget.
svn path=/trunk/netsurf/; revision=9289
Diffstat (limited to 'desktop/options.c')
| -rw-r--r-- | desktop/options.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/desktop/options.c b/desktop/options.c index e885174a4..41896bfc7 100644 --- a/desktop/options.c +++ b/desktop/options.c @@ -145,6 +145,7 @@ unsigned int option_min_reflow_period = 100; /* time in cs */ #else unsigned int option_min_reflow_period = 25; /* time in cs */ #endif +bool option_core_select_menu = false; /** top margin of exported page*/ int option_margin_top = DEFAULT_MARGIN_TOP_MM; /** bottom margin of exported page*/ @@ -244,6 +245,7 @@ struct { { "scale", OPTION_INTEGER, &option_scale }, { "incremental_reflow", OPTION_BOOL, &option_incremental_reflow }, { "min_reflow_period", OPTION_INTEGER, &option_min_reflow_period }, + { "core_select_menu", OPTION_BOOL, &option_core_select_menu }, /* Fetcher options */ { "max_fetchers", OPTION_INTEGER, &option_max_fetchers }, { "max_fetchers_per_host", |