From 7e9bf9361d3460cb0b412bc70ce8cb3465d4b362 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 7 Sep 2011 18:01:41 -0400 Subject: [PATCH] Make Performance Report highlighting high priority. --- collects/typed-racket/optimizer/tool/tool.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-racket/optimizer/tool/tool.rkt b/collects/typed-racket/optimizer/tool/tool.rkt index 39a5adbcc9..926aa31aac 100644 --- a/collects/typed-racket/optimizer/tool/tool.rkt +++ b/collects/typed-racket/optimizer/tool/tool.rkt @@ -42,7 +42,7 @@ (let ([color (if (= badness 0) "lightgreen" (vector-ref color-table badness))]) - (send this highlight-range start end color) + (send this highlight-range start end color #f 'high) (send this set-clickback start end (popup-callback l)) ;; record highlight to undo it later (list start end color))]))