diff options
author | Richard Wilson <rjw@netsurf-browser.org> | 2004-04-10 18:12:58 +0000 |
---|---|---|
committer | Richard Wilson <rjw@netsurf-browser.org> | 2004-04-10 18:12:58 +0000 |
commit | 4934762dd694feae9a95feb4afb006056b02c4af (patch) | |
tree | 4306bff90d464fea4e934b9ac3c334177651e03d /riscos | |
parent | 72182685674a0b5650be08c68794606dcd38b7b8 (diff) | |
download | netsurf-4934762dd694feae9a95feb4afb006056b02c4af.tar.gz netsurf-4934762dd694feae9a95feb4afb006056b02c4af.tar.bz2 |
[project @ 2004-04-10 18:12:58 by rjw]
Added option for thumbnail oversampling.
svn path=/import/netsurf/; revision=743
Diffstat (limited to 'riscos')
-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 |