make the tooltips go away more easily

2011-09-10 10:56:27 -05:00 · 2011-09-10 10:56:27 -05:00 · c589e1890f
commit c589e1890f
parent e947df4359
1 changed files with 2 additions and 1 deletions
--- a/collects/drracket/private/tooltip.rkt
+++ b/collects/drracket/private/tooltip.rkt
@ -9,7 +9,8 @@
    (inherit show reflow-container move get-width get-height)
    (define/override (on-subwindow-event r evt)
      (cond
-        [(send evt button-down?)
+        [(or (send evt entering?)
+             (send evt button-down?))
         (show #f)
         #t]
        [else #f]))