From be1097cb20fdbaefebae2201c43e1d3809fe736f Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Sun, 29 Jun 2008 23:42:09 +0000
Subject: [PATCH] Add warning text if the repl dies

svn: r10511
---
 collects/drscheme/private/rep.ss | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/collects/drscheme/private/rep.ss b/collects/drscheme/private/rep.ss
index 650115d5a0..d616bd0e38 100644
--- a/collects/drscheme/private/rep.ss
+++ b/collects/drscheme/private/rep.ss
@@ -958,7 +958,8 @@ TODO
           (when (equal? ans 3)
             (set-custodian-limit new-limit)
             (preferences:set 'drscheme:limit-memory new-limit))
-          (void)))
+          (set-insertion-point (last-position))
+          (insert-warning "\n[Interactions disabled]")))
       
       (define/private (cleanup-interaction) ; =Kernel=, =Handler=
         (set! need-interaction-cleanup? #f)