From 3a17b284a7f454567340e97bf59a9806bedce3ed Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 14 Sep 2010 12:56:21 -0600 Subject: [PATCH] fix flash highlight --- collects/mred/private/wxme/text.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/mred/private/wxme/text.rkt b/collects/mred/private/wxme/text.rkt index 336bc375fa..b8a4982e65 100644 --- a/collects/mred/private/wxme/text.rkt +++ b/collects/mred/private/wxme/text.rkt @@ -5261,8 +5261,8 @@ (and s-caret-snip (not (pair? show-caret))) (not hilite-on?) (= -startpos -endpos) - (endpos . < . pcounter) - (startpos . > . (+ pcounter (mline-len line))))] + (-endpos . < . pcounter) + (-startpos . > . (+ pcounter (mline-len line))))] [(hilite-some? hsxs hsxe hsys hsye old-style) (process-snips draw-first? #f old-style)]) (when (and (positive? wrap-bitmap-width)