diff options
| author | Richard Wilson <rjw@netsurf-browser.org> | 2004-06-10 22:11:44 +0000 |
|---|---|---|
| committer | Richard Wilson <rjw@netsurf-browser.org> | 2004-06-10 22:11:44 +0000 |
| commit | fb4e2fc476e4095fca175a61a8bffe8e79fc6eb5 (patch) | |
| tree | 64d2d772b59ff4c20a248853640702da7d9ca9f6 /riscos/options.h | |
| parent | c360e169508925aa217fff1cf4e26a808cbd608a (diff) | |
| download | netsurf-fb4e2fc476e4095fca175a61a8bffe8e79fc6eb5.tar.gz netsurf-fb4e2fc476e4095fca175a61a8bffe8e79fc6eb5.tar.bz2 | |
[project @ 2004-06-10 22:11:44 by rjw]
GUI control of background images. Scaled background images.
svn path=/import/netsurf/; revision=953
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 7cdcfedb1..2c303dd92 100644 --- a/riscos/options.h +++ b/riscos/options.h @@ -40,6 +40,7 @@ extern int option_window_height; extern int option_window_screen_width; extern int option_window_screen_height; extern int option_minimum_gif_delay; +extern bool option_background_images; #define EXTRA_OPTION_DEFINE \ bool option_use_mouse_gestures = false;\ @@ -65,7 +66,8 @@ int option_window_width = 0; \ int option_window_height = 0; \ int option_window_screen_width = 0; \ int option_window_screen_height = 0; \ -int option_minimum_gif_delay = 10; +int option_minimum_gif_delay = 10; \ +bool option_background_images = true; #define EXTRA_OPTION_TABLE \ { "use_mouse_gestures", OPTION_BOOL, &option_use_mouse_gestures },\ @@ -91,6 +93,7 @@ int option_minimum_gif_delay = 10; { "window_height", OPTION_INTEGER, &option_window_height }, \ { "window_screen_width", OPTION_INTEGER, &option_window_screen_width }, \ { "window_screen_height", OPTION_INTEGER, &option_window_screen_height }, \ -{ "minimum_gif_delay", OPTION_INTEGER, &option_minimum_gif_delay } +{ "minimum_gif_delay", OPTION_INTEGER, &option_minimum_gif_delay }, \ +{ "background_images", OPTION_BOOL, &option_background_images } #endif |