diff options
author | Michael Drake <tlsa@netsurf-browser.org> | 2011-12-23 19:48:09 +0000 |
---|---|---|
committer | Michael Drake <tlsa@netsurf-browser.org> | 2011-12-23 19:48:09 +0000 |
commit | 081217a321fd6cee427ac4d3f012b2a5d959cf13 (patch) | |
tree | c8558edfe84951629cdc100503074d925d5f057c /riscos | |
parent | 95714a0c00b64f01a2532161dd91cf3c83887c46 (diff) | |
download | netsurf-081217a321fd6cee427ac4d3f012b2a5d959cf13.tar.gz netsurf-081217a321fd6cee427ac4d3f012b2a5d959cf13.tar.bz2 |
Add core options to disable fetch of foreground & background images.
Remove broken background image option from RISC OS front end.
svn path=/trunk/netsurf/; revision=13332
Diffstat (limited to 'riscos')
-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 463a6fa56..6aa6a8b20 100644 --- a/riscos/options.h +++ b/riscos/options.h @@ -44,7 +44,6 @@ extern char *option_toolbar_history; extern char *option_toolbar_cookies; extern bool option_window_stagger; extern bool option_window_size_clone; -extern bool option_background_images; extern bool option_buffer_animations; extern bool option_buffer_everything; extern bool option_open_browser_at_startup; @@ -84,7 +83,6 @@ char *option_toolbar_history = 0; \ char *option_toolbar_cookies = 0; \ bool option_window_stagger = true; \ bool option_window_size_clone = true; \ -bool option_background_images = true; \ bool option_buffer_animations = true; \ bool option_buffer_everything = true; \ bool option_open_browser_at_startup = false; \ @@ -124,7 +122,6 @@ char *option_external_hotlist_app = 0; { "toolbar_cookies", OPTION_STRING, &option_toolbar_cookies }, \ { "window_stagger", OPTION_BOOL, &option_window_stagger }, \ { "window_size_clone", OPTION_BOOL, &option_window_size_clone }, \ -{ "background_images", OPTION_BOOL, &option_background_images }, \ { "buffer_animations", OPTION_BOOL, &option_buffer_animations }, \ { "buffer_everything", OPTION_BOOL, &option_buffer_everything }, \ { "open_browser_at_startup",OPTION_BOOL, &option_open_browser_at_startup }, \ |