diff options
author | Richard Wilson <rjw@netsurf-browser.org> | 2004-10-04 23:54:42 +0000 |
---|---|---|
committer | Richard Wilson <rjw@netsurf-browser.org> | 2004-10-04 23:54:42 +0000 |
commit | 403f12872d55a71b04287ed828be0c63be19e856 (patch) | |
tree | 190dbf327b98bb49831dc609f6c13bd828ded377 /riscos/options.h | |
parent | 7144ce65ebbc7b1cb77d1f6b678a6d2b3c6547d1 (diff) | |
download | netsurf-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.h | 3 |
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 }, \ |