Fix a bug where retrieving a submission would get appended to the default #lang line.

2012-02-10 00:43:26 -05:00 · 2012-02-10 00:43:26 -05:00 · fc0fd4b537
commit fc0fd4b537
parent 284ba01db6
1 changed files with 4 additions and 2 deletions
--- a/collects/handin-client/client-gui.rkt
+++ b/collects/handin-client/client-gui.rkt
@ -722,7 +722,9 @@
         [stream (make-object editor-stream-in% base)])
    (read-editor-version stream base #t)
    (read-editor-global-header stream)
-    (send defs read-from-file stream)
+    (send* defs (begin-edit-sequence #f)
+                (erase) (read-from-file stream)
+                (end-edit-sequence))
    (read-editor-global-footer stream)))

 (define tool@