diff options
Diffstat (limited to 'desktop/options.h')
-rw-r--r-- | desktop/options.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/desktop/options.h b/desktop/options.h index b6d5b4a97..6b9fd66e7 100644 --- a/desktop/options.h +++ b/desktop/options.h @@ -80,6 +80,8 @@ extern int option_window_screen_width; extern int option_window_screen_height; extern int option_toolbar_status_width; extern int option_scale; +extern bool option_incremental_reflow; +extern int option_min_reflow_period; /* Fetcher configuration. */ extern int option_max_fetchers; |