summaryrefslogtreecommitdiff
path: root/riscos/options.h
diff options
context:
space:
mode:
authorRichard Wilson <rjw@netsurf-browser.org>2004-05-24 20:50:57 +0000
committerRichard Wilson <rjw@netsurf-browser.org>2004-05-24 20:50:57 +0000
commit1d7517629358ebc946532306497843a7ff7806b8 (patch)
tree1718f786215466cab9e47d2de55f14c540c335c0 /riscos/options.h
parentb28605cd5faa64b5bc4ac302c26a488b3cf547bf (diff)
downloadnetsurf-1d7517629358ebc946532306497843a7ff7806b8.tar.gz
netsurf-1d7517629358ebc946532306497843a7ff7806b8.tar.bz2
[project @ 2004-05-24 20:50:57 by rjw]
Added option for maximum GIF animation speed (currently defaults to 10cs). Fix for scaled animations not being correctly updated due to rounding issues. svn path=/import/netsurf/; revision=895
Diffstat (limited to 'riscos/options.h')
-rw-r--r--riscos/options.h8
1 files changed, 5 insertions, 3 deletions
diff --git a/riscos/options.h b/riscos/options.h
index fa26885ea..7cdcfedb1 100644
--- a/riscos/options.h
+++ b/riscos/options.h
@@ -39,7 +39,7 @@ extern int option_window_width;
extern int option_window_height;
extern int option_window_screen_width;
extern int option_window_screen_height;
-
+extern int option_minimum_gif_delay;
#define EXTRA_OPTION_DEFINE \
bool option_use_mouse_gestures = false;\
@@ -64,7 +64,8 @@ int option_window_y = 0; \
int option_window_width = 0; \
int option_window_height = 0; \
int option_window_screen_width = 0; \
-int option_window_screen_height = 0;
+int option_window_screen_height = 0; \
+int option_minimum_gif_delay = 10;
#define EXTRA_OPTION_TABLE \
{ "use_mouse_gestures", OPTION_BOOL, &option_use_mouse_gestures },\
@@ -89,6 +90,7 @@ int option_window_screen_height = 0;
{ "window_width", OPTION_INTEGER, &option_window_width }, \
{ "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 }
+{ "window_screen_height", OPTION_INTEGER, &option_window_screen_height }, \
+{ "minimum_gif_delay", OPTION_INTEGER, &option_minimum_gif_delay }
#endif