Add warning text if the repl dies
svn: r10511
This commit is contained in:
parent
9a900b37aa
commit
be1097cb20
|
@ -958,7 +958,8 @@ TODO
|
||||||
(when (equal? ans 3)
|
(when (equal? ans 3)
|
||||||
(set-custodian-limit new-limit)
|
(set-custodian-limit new-limit)
|
||||||
(preferences:set 'drscheme:limit-memory 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=
|
(define/private (cleanup-interaction) ; =Kernel=, =Handler=
|
||||||
(set! need-interaction-cleanup? #f)
|
(set! need-interaction-cleanup? #f)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user