From d1a84ce04327a61d646580c92809f91f829d5aa3 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 7 Sep 2011 18:08:07 -0400 Subject: [PATCH] Reduce priority of paren matching highlighting. original commit: 68aad051e9ee3bd3a516eaa8048c82ec4a980365 --- collects/framework/private/color.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/framework/private/color.rkt b/collects/framework/private/color.rkt index b850d9b6..91e8ac8b 100644 --- a/collects/framework/private/color.rkt +++ b/collects/framework/private/color.rkt @@ -638,7 +638,8 @@ added get-regions (if (is-a? color color%) color (if color mismatch-color (get-match-color))) - (= caret-pos (+ start-pos start)))]) + (= caret-pos (+ start-pos start)) + 'low)]) (set! clear-old-locations (let ([old clear-old-locations]) (λ ()