diff options
Diffstat (limited to 'riscos/options.h')
-rw-r--r-- | riscos/options.h | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/riscos/options.h b/riscos/options.h index 96a0d5a8b..84c76af43 100644 --- a/riscos/options.h +++ b/riscos/options.h @@ -64,6 +64,7 @@ extern char *option_theme_path; extern char *option_theme_save; extern bool option_thumbnail_iconise; extern bool option_interactive_help; +extern bool option_external_hotlists; #define EXTRA_OPTION_DEFINE \ bool option_use_mouse_gestures = false;\ @@ -101,7 +102,8 @@ char *option_recent_save = 0; \ char *option_theme_path = 0; \ char *option_theme_save = 0; \ bool option_thumbnail_iconise = true; \ -bool option_interactive_help = true; +bool option_interactive_help = true; \ +bool option_external_hotlists = true; #define EXTRA_OPTION_TABLE \ { "use_mouse_gestures", OPTION_BOOL, &option_use_mouse_gestures },\ @@ -139,6 +141,7 @@ bool option_interactive_help = true; { "theme_path", OPTION_STRING, &option_theme_path }, \ { "theme_save", OPTION_STRING, &option_theme_save }, \ { "thumbnail_iconise", OPTION_BOOL, &option_thumbnail_iconise }, \ -{ "interactive_help", OPTION_BOOL, &option_interactive_help } +{ "interactive_help", OPTION_BOOL, &option_interactive_help }, \ +{ "external_hotlists", OPTION_BOOL, &option_external_hotlists } #endif |