diff --git a/collects/drscheme/private/main.ss b/collects/drscheme/private/main.ss index 5bf881c65b..1bbf06ea4f 100644 --- a/collects/drscheme/private/main.ss +++ b/collects/drscheme/private/main.ss @@ -77,7 +77,7 @@ (number? (car x)) (number? (cdr x)))))) -(preferences:set-default 'drscheme:limit-memory (* 1024 1024 128) +(preferences:set-default 'drscheme:memory-limit (* 1024 1024 128) (λ (x) (or (boolean? x) (integer? x) (x . >= . (* 1024 1024 100))))) diff --git a/collects/drscheme/private/rep.ss b/collects/drscheme/private/rep.ss index 90af1ebabd..bbe54ee30f 100644 --- a/collects/drscheme/private/rep.ss +++ b/collects/drscheme/private/rep.ss @@ -871,7 +871,7 @@ TODO (memory-killed-thread #f) (user-custodian #f) (custodian-limit (and (custodian-memory-accounting-available?) - (preferences:get 'drscheme:limit-memory))) + (preferences:get 'drscheme:memory-limit))) (user-eventspace-box (make-weak-box #f)) (user-namespace-box (make-weak-box #f)) (user-eventspace-main-thread #f) @@ -957,7 +957,7 @@ TODO )]) (when (equal? ans 3) (set-custodian-limit new-limit) - (preferences:set 'drscheme:limit-memory new-limit)) + (preferences:set 'drscheme:memory-limit new-limit)) (set-insertion-point (last-position)) (insert-warning "\n[Interactions disabled]"))) diff --git a/collects/drscheme/private/unit.ss b/collects/drscheme/private/unit.ss index d264d194e3..0812e01ecc 100644 --- a/collects/drscheme/private/unit.ss +++ b/collects/drscheme/private/unit.ss @@ -3130,10 +3130,10 @@ module browser threading seems wrong. (when num (cond [(eq? num #t) - (preferences:set 'drscheme:limit-memory #f) + (preferences:set 'drscheme:memory-limit #f) (send interactions-text set-custodian-limit #f)] [else - (preferences:set 'drscheme:limit-memory + (preferences:set 'drscheme:memory-limit (* 1024 1024 num)) (send interactions-text set-custodian-limit (* 1024 1024 num))]))))]))