From 69eafff8a102db0e01787ea2ed4852b6c359958d Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 8 Aug 2013 15:48:47 -0500 Subject: [PATCH] make a copy of the snip before writing it to the port since snips will silently fail to be inserted when they are already inserted and some ports just take snips and insert them into editors without copying them first closes PR 13960 --- pkgs/drracket-pkgs/drracket/drracket/private/language.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/language.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/language.rkt index 2578f72b3c..0c10ebac8b 100644 --- a/pkgs/drracket-pkgs/drracket/drracket/private/language.rkt +++ b/pkgs/drracket-pkgs/drracket/drracket/private/language.rkt @@ -460,10 +460,10 @@ ;; do this computation here so that any failures ;; during drawing happen under the user's custodian (image-core:compute-image-cache value) - (write-special value port) + (write-special (send value copy) port) 1] [else - (write-special value port) + (write-special (send value copy) port) 1])] [(pict:convertible? value) (write-special (mk-pict-snip value))]