Make Performance Report highlighting high priority.

2011-09-07 18:01:41 -04:00 · 2011-09-07 18:01:41 -04:00 · 7e9bf9361d
commit 7e9bf9361d
parent bb62ca4c2b
1 changed files with 1 additions and 1 deletions
--- 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))]))