From 7255a22178da42d7bee3bcf974fd03e76cc5812e Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 28 Aug 2008 17:11:40 -0400 Subject: [PATCH] merge to 11470 --- collects/drscheme/private/rep.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/drscheme/private/rep.ss b/collects/drscheme/private/rep.ss index 1b7dcf850e..cabd4c33a1 100644 --- a/collects/drscheme/private/rep.ss +++ b/collects/drscheme/private/rep.ss @@ -929,7 +929,7 @@ TODO (set-custodian-limit new-limit) (preferences:set 'drscheme:memory-limit new-limit)) (set-insertion-point (last-position)) - (insert-warning "\n[Interactions disabled]"))) + (insert-warning "\nInteractions disabled"))) (define/private (cleanup-interaction) ; =Kernel=, =Handler= (set! need-interaction-cleanup? #f)