summaryrefslogtreecommitdiff
path: root/riscos/options.h
diff options
context:
space:
mode:
authorRichard Wilson <rjw@netsurf-browser.org>2004-10-04 23:54:42 +0000
committerRichard Wilson <rjw@netsurf-browser.org>2004-10-04 23:54:42 +0000
commit403f12872d55a71b04287ed828be0c63be19e856 (patch)
tree190dbf327b98bb49831dc609f6c13bd828ded377 /riscos/options.h
parent7144ce65ebbc7b1cb77d1f6b678a6d2b3c6547d1 (diff)
downloadnetsurf-403f12872d55a71b04287ed828be0c63be19e856.tar.gz
netsurf-403f12872d55a71b04287ed828be0c63be19e856.tar.bz2
[project @ 2004-10-04 23:54:42 by rjw]
Moved GIF file reading to image/, optimisation of plotting for GIFs, JNGs, PNGs and JPEGs, initial work for toolbar customisation. Possibly some other things too. svn path=/import/netsurf/; revision=1301
Diffstat (limited to 'riscos/options.h')
-rw-r--r--riscos/options.h3
1 files changed, 0 insertions, 3 deletions
diff --git a/riscos/options.h b/riscos/options.h
index b7b22d64f..66970ca28 100644
--- a/riscos/options.h
+++ b/riscos/options.h
@@ -40,7 +40,6 @@ extern int option_window_screen_width;
extern int option_window_screen_height;
extern bool option_window_stagger;
extern bool option_window_size_clone;
-extern int option_minimum_gif_delay;
extern bool option_background_images;
extern bool option_background_blending;
extern bool option_buffer_animations;
@@ -99,7 +98,6 @@ int option_window_screen_width = 0; \
int option_window_screen_height = 0; \
bool option_window_stagger = true; \
bool option_window_size_clone = true; \
-int option_minimum_gif_delay = 10; \
bool option_background_images = true; \
bool option_background_blending = true; \
bool option_buffer_animations = true; \
@@ -158,7 +156,6 @@ bool option_font_ufont = false;
{ "window_screen_height", OPTION_INTEGER, &option_window_screen_height }, \
{ "window_stagger", OPTION_BOOL, &option_window_stagger }, \
{ "window_size_clone", OPTION_BOOL, &option_window_size_clone }, \
-{ "minimum_gif_delay", OPTION_INTEGER, &option_minimum_gif_delay }, \
{ "background_images", OPTION_BOOL, &option_background_images }, \
{ "background_blending", OPTION_BOOL, &option_background_blending }, \
{ "buffer_animations", OPTION_BOOL, &option_buffer_animations }, \