From fad6afd890b7f832f95483ad27387ab68218e87f Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 15 Mar 2011 07:36:52 -0600 Subject: [PATCH] add `get-device-scale' to dc<%> original commit: e8cb27c08c221a16bf0a543a390a0a90d945a918 --- collects/mred/private/wx/cocoa/printer-dc.rkt | 3 +++ collects/mred/private/wx/gtk/printer-dc.rkt | 3 +++ 2 files changed, 6 insertions(+) diff --git a/collects/mred/private/wx/cocoa/printer-dc.rkt b/collects/mred/private/wx/cocoa/printer-dc.rkt index 84f2eab3..2df653c5 100644 --- a/collects/mred/private/wx/cocoa/printer-dc.rkt +++ b/collects/mred/private/wx/cocoa/printer-dc.rkt @@ -151,6 +151,9 @@ (define/override (get-size) (values (/ page-width page-scaling) (/ page-height page-scaling))) + (define/override (get-device-scale) + (values page-scaling page-scaling)) + (define current-page 0) (define/public (get-page-count) (length pages)) diff --git a/collects/mred/private/wx/gtk/printer-dc.rkt b/collects/mred/private/wx/gtk/printer-dc.rkt index 92980523..651c6f28 100644 --- a/collects/mred/private/wx/gtk/printer-dc.rkt +++ b/collects/mred/private/wx/gtk/printer-dc.rkt @@ -222,6 +222,9 @@ (define/override (get-size) (values (/ page-width page-scaling) (/ page-height page-scaling))) + (define/override (get-device-scale) + (values page-scaling page-scaling)) + (define/override (end-doc) (send (new printout% [op-gtk (gtk_print_operation_new)]