merge to 11470
This commit is contained in:
parent
fe7d985ca5
commit
7255a22178
|
@ -929,7 +929,7 @@ TODO
|
||||||
(set-custodian-limit new-limit)
|
(set-custodian-limit new-limit)
|
||||||
(preferences:set 'drscheme:memory-limit new-limit))
|
(preferences:set 'drscheme:memory-limit new-limit))
|
||||||
(set-insertion-point (last-position))
|
(set-insertion-point (last-position))
|
||||||
(insert-warning "\n[Interactions disabled]")))
|
(insert-warning "\nInteractions 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