suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add `get-device-scale' to dc<%>

Browse Source 
original commit: e8cb27c08c221a16bf0a543a390a0a90d945a918
This commit is contained in:
Matthew Flatt 2011-03-15 07:36:52 -06:00
parent 58ec161af7
commit fad6afd890
2 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/mred/private/wx/cocoa/printer-dc.rkt
View File

@ -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))

3
collects/mred/private/wx/gtk/printer-dc.rkt
View File

@ -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)]