From bf451cbc0b3a121fd3d8b529da73beefd37bcb11 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 26 Jan 2010 20:24:25 +0000 Subject: [PATCH] fixed a problem John identified on the plt mailing list svn: r17841 --- collects/drscheme/private/rep.ss | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/collects/drscheme/private/rep.ss b/collects/drscheme/private/rep.ss index cf1f339e26..9e4d84d01d 100644 --- a/collects/drscheme/private/rep.ss +++ b/collects/drscheme/private/rep.ss @@ -1618,6 +1618,7 @@ TODO (reset-regions (list (list (last-position) (last-position)))) (set-unread-start-point (last-position)) (set-insertion-point (last-position)) + (set! indenting-limit (last-position)) (set-allow-edits #f) (set! repl-header-end #f) (end-edit-sequence)) @@ -1653,6 +1654,12 @@ TODO (end-edit-sequence) (clear-undos)) + (define indenting-limit 0) + (define/override (get-limit n) + (cond + [(< n indenting-limit) 0] + [else indenting-limit])) + ;; avoid calling paragraph-start-position very often. (define repl-header-end #f) (define/private (get-repl-header-end)