diff options
| author | Richard Wilson <rjw@netsurf-browser.org> | 2005-04-20 23:22:49 +0000 |
|---|---|---|
| committer | Richard Wilson <rjw@netsurf-browser.org> | 2005-04-20 23:22:49 +0000 |
| commit | d736b3d3e58107293d95f94492ce3c8e281291a6 (patch) | |
| tree | 8faba8f18fbe5bafef5a5d97a8d7850e95cbe62c /riscos/options.h | |
| parent | 05869d79be896c681cfd3ec0b0d2e0c3ab327df9 (diff) | |
| download | netsurf-d736b3d3e58107293d95f94492ce3c8e281291a6.tar.gz netsurf-d736b3d3e58107293d95f94492ce3c8e281291a6.tar.bz2 | |
[project @ 2005-04-20 23:22:49 by rjw]
Remove background blending option, fix tree menu bug.
svn path=/import/netsurf/; revision=1675
Diffstat (limited to 'riscos/options.h')
| -rw-r--r-- | riscos/options.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/riscos/options.h b/riscos/options.h index 2f1b76229..e0e32f8cf 100644 --- a/riscos/options.h +++ b/riscos/options.h @@ -44,7 +44,6 @@ extern int option_window_screen_height; extern bool option_window_stagger; extern bool option_window_size_clone; extern bool option_background_images; -extern bool option_background_blending; extern bool option_buffer_animations; extern bool option_buffer_everything; extern char *option_homepage_url; @@ -89,7 +88,6 @@ int option_window_screen_height = 0; \ bool option_window_stagger = true; \ bool option_window_size_clone = true; \ bool option_background_images = true; \ -bool option_background_blending = true; \ bool option_buffer_animations = true; \ bool option_buffer_everything = false; \ char *option_homepage_url = 0; \ @@ -131,7 +129,6 @@ bool option_url_suggestion = true; { "window_stagger", OPTION_BOOL, &option_window_stagger }, \ { "window_size_clone", OPTION_BOOL, &option_window_size_clone }, \ { "background_images", OPTION_BOOL, &option_background_images }, \ -{ "background_blending", OPTION_BOOL, &option_background_blending }, \ { "buffer_animations", OPTION_BOOL, &option_buffer_animations }, \ { "buffer_everything", OPTION_BOOL, &option_buffer_everything }, \ { "homepage_url", OPTION_STRING, &option_homepage_url }, \ |