From 55f5aa8dd3a4d735d1ea379c81ccfe3458391fc1 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 8 Jun 2002 23:45:14 +0000 Subject: [PATCH] .. original commit: 72edd0ef7db7e6a78eb0a4e75894a2b08173b8f2 --- collects/framework/private/text.ss | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) diff --git a/collects/framework/private/text.ss b/collects/framework/private/text.ss index 7f3ceef9..c18c2741 100644 --- a/collects/framework/private/text.ss +++ b/collects/framework/private/text.ss @@ -33,7 +33,8 @@ (define basic<%> (interface (editor:basic<%> (class->interface text%)) - highlight-range + highlight-range + get-highlighted-ranges get-styles-fixed set-styles-fixed move/copy-to-edit @@ -55,6 +56,8 @@ (define range-rectangles null) (define ranges null) + (define/public (get-highlighted-ranges) ranges) + (define (invalidate-rectangles rectangles) (let ([b1 (box 0)] [b2 (box 0)] @@ -523,6 +526,7 @@ new-snip)) (field (delegate #f)) + (inherit get-highlighted-ranges) (define/public (get-delegate) delegate) (define/public (set-delegate _d) (set! delegate _d) @@ -542,6 +546,16 @@ (send delegate last-position) (send delegate last-position)) (loop (send snip next))))) + (for-each + (lambda (range) + (send delegate highlight-range + (range-start range) + (range-end range) + (range-color range) + (range-b/w-bitmap range) + (range-caret-space? range) + 'high)) + (reverse (get-highlighted-ranges))) (send delegate lock #t) (send delegate end-edit-sequence)))