From d350c70c98681df11a4830e05a1cad6bcb752657 Mon Sep 17 00:00:00 2001
From: Vincent St-Amour <stamourv@racket-lang.org>
Date: Thu, 28 Jun 2012 11:09:43 -0400
Subject: [PATCH] Add button to dismiss PR.

---
 collects/typed-racket/optimizer/tool/tool.rkt | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/collects/typed-racket/optimizer/tool/tool.rkt b/collects/typed-racket/optimizer/tool/tool.rkt
index e1a2664ce7..6a81457df8 100644
--- a/collects/typed-racket/optimizer/tool/tool.rkt
+++ b/collects/typed-racket/optimizer/tool/tool.rkt
@@ -83,7 +83,7 @@
                         (loop (cdr report)))])))
       (set! highlights new-highlights))
 
-    (define/private (clear-highlights)
+    (define/public (clear-highlights)
       (for ([h (in-list highlights)])
         (match h
           [`(,start ,end . ,rest )
@@ -156,6 +156,10 @@
                        [parent (send this get-area-container)]
                        [stretchable-height #f]))
         (set! panel p)
+        (new button%
+             [label "Clear"]
+             [parent panel]
+             [callback (lambda _ (send definitions clear-highlights))])
         (for ([(l f) (in-pairs check-boxes)])
           (new check-box%
                [label l]