diff options
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", |