use pretty-write when printing in write mode

2016-06-25 09:40:56 -05:00 · 2016-06-25 09:40:56 -05:00 · f629545c2d
commit f629545c2d
parent c3322ca05d
1 changed files with 1 additions and 1 deletions
--- a/gui-lib/mrlib/interactive-value-port.rkt
+++ b/gui-lib/mrlib/interactive-value-port.rkt
@ -25,7 +25,7 @@
    (port-write-handler
     port
     (λ (val port)
-       (do-printing pretty-print val port snip-handler))))
+       (do-printing pretty-write val port snip-handler))))
  
  (define (set-interactive-print-handler port #:snip-handler [snip-handler #f])
    (port-print-handler