diff options
author | Richard Wilson <rjw@netsurf-browser.org> | 2004-05-24 20:50:57 +0000 |
---|---|---|
committer | Richard Wilson <rjw@netsurf-browser.org> | 2004-05-24 20:50:57 +0000 |
commit | 1d7517629358ebc946532306497843a7ff7806b8 (patch) | |
tree | 1718f786215466cab9e47d2de55f14c540c335c0 /riscos/options.h | |
parent | b28605cd5faa64b5bc4ac302c26a488b3cf547bf (diff) | |
download | netsurf-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.h | 8 |
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 |