From 7fe3dba5899ad631927c00c66425cc0cc4c561c2 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 31 May 2005 16:38:30 +0000 Subject: [PATCH] insert-file -> insert-port svn: r23 original commit: 95b5b5ff1381ea0350bdf400bd89bf6e67a2fef8 --- collects/mred/private/snipfile.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/mred/private/snipfile.ss b/collects/mred/private/snipfile.ss index 9bb56198..76de3348 100644 --- a/collects/mred/private/snipfile.ss +++ b/collects/mred/private/snipfile.ss @@ -224,7 +224,7 @@ (let ([p (cond [(regexp-match-peek #rx#"^WXME01[0-9][0-9] ## " p) (let ([t (make-object text%)]) - (send t insert-file p 'standard) + (send t insert-port p 'standard) (close-input-port p) (open-input-text-editor t))] [else p])])