summaryrefslogtreecommitdiff
path: root/riscos/options.h
diff options
context:
space:
mode:
Diffstat (limited to 'riscos/options.h')
-rw-r--r--riscos/options.h7
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