diff --git a/collects/mrlib/name-message.rkt b/collects/mrlib/name-message.rkt index 56cea33b..bbb0d956 100644 --- a/collects/mrlib/name-message.rkt +++ b/collects/mrlib/name-message.rkt @@ -277,7 +277,8 @@ (define w (+ border-inset circle-spacer button-label-inset label-width button-label-inset triangle-width circle-spacer border-inset)) - (when bkg-color + (when (and bkg-color + (and (not (or mouse-over? grabbed?)))) (send dc set-pen bkg-color 1 'solid) (send dc set-brush bkg-color 'solid) (send dc draw-rectangle dx dy w h))