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 510147032..8510e5803 100644 --- a/riscos/options.h +++ b/riscos/options.h @@ -62,6 +62,7 @@ extern char *option_recent_save; extern char *option_theme_path; extern char *option_theme_save; extern bool option_thumbnail_iconise; +extern bool option_interactive_help; #define EXTRA_OPTION_DEFINE \ bool option_use_mouse_gestures = false;\ @@ -98,7 +99,8 @@ char *option_recent_path = 0; \ char *option_recent_save = 0; \ char *option_theme_path = 0; \ char *option_theme_save = 0; \ -bool option_thumbnail_iconise = true; +bool option_thumbnail_iconise = true; \ +bool option_interactive_help = true; #define EXTRA_OPTION_TABLE \ { "use_mouse_gestures", OPTION_BOOL, &option_use_mouse_gestures },\ @@ -135,6 +137,7 @@ bool option_thumbnail_iconise = true; { "recent_save", OPTION_STRING, &option_recent_save }, \ { "theme_path", OPTION_STRING, &option_theme_path }, \ { "theme_save", OPTION_STRING, &option_theme_save }, \ -{ "thumbnail_iconise", OPTION_BOOL, &option_thumbnail_iconise } +{ "thumbnail_iconise", OPTION_BOOL, &option_thumbnail_iconise }, \ +{ "interactive_help", OPTION_BOOL, &option_interactive_help } #endif |