diff options
| -rw-r--r-- | riscos/options.h | 21 |
1 files changed, 13 insertions, 8 deletions
diff --git a/riscos/options.h b/riscos/options.h index 2cf4c5a18..3f722e663 100644 --- a/riscos/options.h +++ b/riscos/options.h @@ -22,6 +22,8 @@ extern char *option_theme; extern char *option_language; extern bool option_dither_sprites; extern bool option_filter_sprites; +extern bool option_thumbnail_32bpp; +extern int option_thumbnail_oversampling; #define EXTRA_OPTION_DEFINE \ bool option_use_mouse_gestures = false;\ @@ -30,15 +32,18 @@ bool option_show_toolbar = true;\ char *option_theme = 0;\ char *option_language = 0;\ bool option_dither_sprites = true;\ -bool option_filter_sprites = false; +bool option_filter_sprites = false;\ +bool option_thumbnail_32bpp = true;\ +int option_thumbnail_oversampling = 0; #define EXTRA_OPTION_TABLE \ -{ "use_mouse_gestures", OPTION_BOOL, &option_use_mouse_gestures },\ -{ "allow_text_selection", OPTION_BOOL, &option_allow_text_selection },\ -{ "show_toolbar", OPTION_BOOL, &option_show_toolbar },\ -{ "theme", OPTION_STRING, &option_theme },\ -{ "language", OPTION_STRING, &option_language },\ -{ "dither_sprites", OPTION_BOOL, &option_dither_sprites },\ -{ "filter_sprites", OPTION_BOOL, &option_filter_sprites } +{ "use_mouse_gestures", OPTION_BOOL, &option_use_mouse_gestures },\ +{ "allow_text_selection", OPTION_BOOL, &option_allow_text_selection },\ +{ "show_toolbar", OPTION_BOOL, &option_show_toolbar },\ +{ "theme", OPTION_STRING, &option_theme },\ +{ "language", OPTION_STRING, &option_language },\ +{ "dither_sprites", OPTION_BOOL, &option_dither_sprites },\ +{ "filter_sprites", OPTION_BOOL, &option_filter_sprites },\ +{ "thumbnail_oversampling", OPTION_INTEGER, &option_thumbnail_oversampling } #endif |