From 06d232a2e85b2fa21749b2e03afb354cf5a6d2d3 Mon Sep 17 00:00:00 2001 From: Scott Owens Date: Mon, 31 Jan 2005 09:36:45 +0000 Subject: [PATCH] Fixed reset-region bug original commit: b538d8e09865625fe19a2d19d5d8dc2337a992a8 --- collects/framework/private/color.ss | 18 +++++++++++++++--- 1 file changed, 15 insertions(+), 3 deletions(-) diff --git a/collects/framework/private/color.ss b/collects/framework/private/color.ss index 0c06663a..5e386c1a 100644 --- a/collects/framework/private/color.ss +++ b/collects/framework/private/color.ss @@ -110,9 +110,23 @@ (define start-pos 0) (define end-pos 'end) + (inherit last-position) + ;; See docs (define/public (reset-region start end) (unless (and (= start start-pos) (eqv? end end-pos)) + (unless (<= 0 start (last-position)) + (raise-mismatch-error 'reset-region + "start position not inside editor: " + start)) + (unless (or (eq? 'end end) (<= 0 end (last-position))) + (raise-mismatch-error 'reset-region + "end position not inside editor: " + end)) + (unless (or (eq? 'end end) (<= start end)) + (raise-mismatch-error 'reset-region + "end position before start position: " + (list end start))) (set! start-pos start) (set! end-pos end) (reset-tokens) @@ -553,9 +567,7 @@ (when (and (not up-to-date?) (<= current-pos position)) (colorer-driver) (tokenize-to-pos position))) - - (inherit last-position) - + ;; See docs (define/public (skip-whitespace position direction comments?) (when stopped?