Remove OC toolbar when the definitions change.

2012-08-13 16:41:23 -04:00 · 2012-08-13 16:41:23 -04:00 · 11006d3b5e
commit 11006d3b5e
parent 958ab7b570
1 changed files with 5 additions and 2 deletions
--- a/collects/typed-racket/optimizer/tool/tool.rkt
+++ b/collects/typed-racket/optimizer/tool/tool.rkt
@ -145,10 +145,13 @@
        (set! highlights '())
        (set! on? #f))

+      (define (clear-and-close)
+        (when on?
+          (send+ this (get-tab) (get-frame) (close-optimization-coach))))
      (define/augment (on-insert start len)
-        (clear-highlights))
+        (clear-and-close))
      (define/augment (on-delete start len)
-        (clear-highlights))
+        (clear-and-close))

      (define/public (build-optimization-coach-popup-menu menu pos text)
        (and pos