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)
This commit is contained in:
Robby Findler 2012-01-19 12:13:54 -06:00
parent 0a5a949d1a
commit 3b2cf3f7a4

View File

@ -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))))