diff options
| author | Chris Young <chris@unsatisfactorysoftware.co.uk> | 2011-11-07 18:51:08 +0000 |
|---|---|---|
| committer | Chris Young <chris@unsatisfactorysoftware.co.uk> | 2011-11-07 18:51:08 +0000 |
| commit | a98fb7c4ddb7e25373148dfdc7d5d1a2c0a296c2 (patch) | |
| tree | e3b8807a06dbba2511e72526d7949f72d2c3089d /amiga/options.h | |
| parent | 4ba282c9c9dafa124237aa50312125e5a003c375 (diff) | |
| download | netsurf-a98fb7c4ddb7e25373148dfdc7d5d1a2c0a296c2.tar.gz netsurf-a98fb7c4ddb7e25373148dfdc7d5d1a2c0a296c2.tar.bz2 | |
Reimplement the previous hotlist menu refresh code, as the bug causing the previous
problems was fixed ages ago. Make the timing configurable for now but default to off.
svn path=/trunk/netsurf/; revision=13135
Diffstat (limited to 'amiga/options.h')
| -rw-r--r-- | amiga/options.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/amiga/options.h b/amiga/options.h index 74fe5a265..7a93774df 100644 --- a/amiga/options.h +++ b/amiga/options.h @@ -67,6 +67,7 @@ extern int option_amiga_ydpi; extern int option_monitor_aspect_x; extern int option_monitor_aspect_y; extern bool option_accept_lang_locale; +extern int option_menu_refresh; #define EXTRA_OPTION_DEFINE \ char *option_url_file = 0; \ @@ -116,6 +117,7 @@ int option_amiga_ydpi = 72; \ int option_monitor_aspect_x = 4; \ int option_monitor_aspect_y = 3; \ bool option_accept_lang_locale = true; \ +int option_menu_refresh = 0; \ #define EXTRA_OPTION_TABLE \ { "url_file", OPTION_STRING, &option_url_file }, \ @@ -164,5 +166,6 @@ bool option_accept_lang_locale = true; \ { "amiga_ydpi", OPTION_INTEGER, &option_amiga_ydpi}, \ { "monitor_aspect_x", OPTION_INTEGER, &option_monitor_aspect_x}, \ { "monitor_aspect_y", OPTION_INTEGER, &option_monitor_aspect_y}, \ -{ "accept_lang_locale", OPTION_BOOL, &option_accept_lang_locale}, +{ "accept_lang_locale", OPTION_BOOL, &option_accept_lang_locale}, \ +{ "menu_refresh", OPTION_INTEGER, &option_menu_refresh}, #endif |