From c589e1890f80f9253cc8b6099aea3479e585eedf Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 10 Sep 2011 10:56:27 -0500 Subject: [PATCH] make the tooltips go away more easily --- collects/drracket/private/tooltip.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/drracket/private/tooltip.rkt b/collects/drracket/private/tooltip.rkt index 57196182f1..8b2efd4744 100644 --- 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]))