From 0fad9040a03114e178e49d9a7bdb838462c4d31c Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 19 Jan 2012 12:13:54 -0600 Subject: [PATCH] make the tooltips for the drracket toolbar buttons go away when they get any events (this shouldn't be necessary unless one gets lost somehow, but apparently that can happen) original commit: 3b2cf3f7a4bc4949fc5fa3f626f789ff983be64a --- collects/mrlib/switchable-button.rkt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/mrlib/switchable-button.rkt b/collects/mrlib/switchable-button.rkt index d2d285e9..44258954 100644 --- a/collects/mrlib/switchable-button.rkt +++ b/collects/mrlib/switchable-button.rkt @@ -39,10 +39,13 @@ (send dc set-pen pen) (send dc set-brush brush) (send dc set-font font)))) + + (define/override (on-event evt) + (show #f)) (inherit stretchable-width stretchable-height min-width min-height - get-client-size get-dc) + get-client-size get-dc show) (super-new) (let-values ([(tw th _1 _2) (send (get-dc) get-text-extent label small-control-font)]) (min-width (floor (inexact->exact (+ tw 4))))