From 146ff6cc49b0824b9475ec9fb7d31ca3cc4faaa8 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 8 Jan 2011 14:29:36 -0600 Subject: [PATCH] improve the drawing of the menu popup when it is yellow and the mouse is over it original commit: 66f6f04c1eae3faf7d8c41f0e42c799148889096 --- collects/mrlib/name-message.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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))