diff --git a/collects/profjBoxes/private/example-box.ss b/collects/profjBoxes/private/example-box.ss index 8943eebda1..0517968bbf 100644 --- a/collects/profjBoxes/private/example-box.ss +++ b/collects/profjBoxes/private/example-box.ss @@ -183,9 +183,13 @@ #;((is-a?/c editor-stream-out%) . -> . void?) ;; Write the example to file (define/public (write f) - (send type write-to-file f) - (send name write-to-file f) - (send value write-to-file f)) + (for-each (lambda (t) + (send* t + (begin-edit-sequence) + (clear-cue-text) + (write-to-file f) + (end-edit-sequence))) + (list type name value))) #;((is-a?/c editor-stream-out%) . -> . void?) ;; Read the state of the example in from file