From deac3fa2b30a45d0945f895f4181d916df922b58 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Tue, 5 Feb 2013 15:37:40 -0600
Subject: [PATCH] fix a bug in highlight-range exposed by the contour window

closes PR 13488
related to PR 13491
---
 collects/framework/private/text.rkt | 16 +++++-----------
 1 file changed, 5 insertions(+), 11 deletions(-)

diff --git a/collects/framework/private/text.rkt b/collects/framework/private/text.rkt
index 21baaf45b9..500a200129 100644
--- a/collects/framework/private/text.rkt
+++ b/collects/framework/private/text.rkt
@@ -377,19 +377,13 @@
       (define color (if (is-a? in-color color%)
                         in-color
                         (send the-color-database find-color in-color)))
-      (define found-one? #f)
       (unhighlight-ranges
        (λ (r-start r-end r-color r-caret-space? r-style r-adjust-on-insert/delete? r-key)
-         (cond
-           [found-one? #f]
-           [(and (equal? start r-start)
-                 (equal? end r-end)
-                 (equal? color r-color)
-                 (equal? caret-space? r-caret-space?)
-                 (equal? style r-style))
-            (set! found-one? #t)
-            #t]
-           [else #f]))))
+         (and (equal? start r-start)
+              (equal? end r-end)
+              (equal? color r-color)
+              (equal? caret-space? r-caret-space?)
+              (equal? style r-style)))))
     
     (define/public (unhighlight-ranges/key key)
       (unhighlight-ranges