diff options
Diffstat (limited to 'desktop/options.h')
-rw-r--r-- | desktop/options.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/desktop/options.h b/desktop/options.h index cf26728f0..a25160818 100644 --- a/desktop/options.h +++ b/desktop/options.h @@ -83,6 +83,7 @@ extern int option_toolbar_status_width; extern int option_scale; extern bool option_incremental_reflow; extern unsigned int option_min_reflow_period; +extern bool option_core_select_menu; extern int option_margin_top; extern int option_margin_bottom; |