From a85a2d43923d604d9dd49de430975f62c448332d Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 25 Sep 2014 13:58:52 -0600 Subject: [PATCH] racket/gui: use cairo_paint() to copy buffer to screen Following 54e42664df, use cairo_paint() instead of cairo_fill() to copy offscreen content onscreen, just in case it's faster. --- pkgs/gui-pkgs/gui-lib/mred/private/wx/common/backing-dc.rkt | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/pkgs/gui-pkgs/gui-lib/mred/private/wx/common/backing-dc.rkt b/pkgs/gui-pkgs/gui-lib/mred/private/wx/common/backing-dc.rkt index e0745e902b..5bc6ef6c6d 100644 --- a/pkgs/gui-pkgs/gui-lib/mred/private/wx/common/backing-dc.rkt +++ b/pkgs/gui-pkgs/gui-lib/mred/private/wx/common/backing-dc.rkt @@ -241,8 +241,6 @@ (cairo_matrix_init_translate m 0 0) (cairo_matrix_scale m sc sc) (cairo_pattern_set_matrix (cairo_get_source cr) m)))) - (cairo_new_path cr) - (cairo_rectangle cr 0 0 w h) - (cairo_fill cr) + (cairo_paint cr) (cairo_set_source cr s) (cairo_pattern_destroy s))))