adjust tooltip windows so they go away whenever

they get a mouse event related to PR 13139
2012-10-02 20:55:53 -05:00 · 2012-10-02 20:55:53 -05:00 · 58c9905eff
commit 58c9905eff
parent 4b6a57bd2e
1 changed files with 2 additions and 6 deletions
--- a/collects/drracket/private/tooltip.rkt
+++ b/collects/drracket/private/tooltip.rkt
@ -10,12 +10,8 @@
    
    (define/override (on-subwindow-event r evt)
      (and (is-shown?)
-           (cond
-             [(or (send evt entering?)
-                  (send evt button-down?))
-              (show #f)
-              #t]
-             [else #f])))
+           (begin (show #f)
+                  #t)))
    (define/public (set-tooltip ls) 
      (send yellow-message set-lab ls))