From d34deeba91c8ca6af4403a2f7ecf2eac9a2cda84 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 27 Jan 2011 12:07:03 -0700 Subject: [PATCH] win32: fix printing bug related to clipping --- collects/mred/private/wx/win32/printer-dc.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/mred/private/wx/win32/printer-dc.rkt b/collects/mred/private/wx/win32/printer-dc.rkt index 344ff6b59c..87222570c3 100644 --- a/collects/mred/private/wx/win32/printer-dc.rkt +++ b/collects/mred/private/wx/win32/printer-dc.rkt @@ -237,7 +237,7 @@ (class (dc-mixin default-dc-backend%) (super-new) (define/override (init-cr-matrix cr) - (set-point-scale hdc cr)) + (set-point-scale hdc cr margin-left margin-top)) (define/override (get-cr) cr)))) (cairo_destroy cr) (cairo_surface_destroy s))