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

make a copy of the snip before writing it to the port

Browse Source 
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
This commit is contained in:
Robby Findler 2013-08-08 15:48:47 -05:00
parent ce7cb703ea
commit 69eafff8a1
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/drracket-pkgs/drracket/drracket/private/language.rkt
View File

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