From 58c9905eff6ac45c645bbba2a5ec8f375cd6573c Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Tue, 2 Oct 2012 20:55:53 -0500
Subject: [PATCH] adjust tooltip windows so they go away whenever they get a
 mouse event

related to PR 13139
---
 collects/drracket/private/tooltip.rkt | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/collects/drracket/private/tooltip.rkt b/collects/drracket/private/tooltip.rkt
index e188a73216..849dead4f3 100644
--- 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))