From d18f4397c7906880facdf7dc533d663e086771e6 Mon Sep 17 00:00:00 2001 From: Richard Wilson Date: Mon, 19 Jul 2004 23:35:12 +0000 Subject: [project @ 2004-07-19 23:35:12 by rjw] Double buffering for animations to remove flicker. Background font blending turned on by default. svn path=/import/netsurf/; revision=1121 --- riscos/options.h | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'riscos/options.h') diff --git a/riscos/options.h b/riscos/options.h index 5c9392038..be1769d15 100644 --- a/riscos/options.h +++ b/riscos/options.h @@ -43,6 +43,7 @@ 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; #define EXTRA_OPTION_DEFINE \ bool option_use_mouse_gestures = false;\ @@ -71,7 +72,8 @@ 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 = false; +bool option_background_blending = true; \ +bool option_buffer_animations = true; #define EXTRA_OPTION_TABLE \ { "use_mouse_gestures", OPTION_BOOL, &option_use_mouse_gestures },\ @@ -100,6 +102,7 @@ bool option_background_blending = false; { "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 } +{ "background_blending", OPTION_BOOL, &option_background_blending }, \ +{ "buffer_animations", OPTION_BOOL, &option_buffer_animations } #endif -- cgit v1.2.3