menu buglet

[Havoc Pennington <rhpennin midway uchicago edu>]

I just had a menu get "stuck" (mouse events outside it won't make it go
away). I think the cause was setting all the menu items insensitive, but 
no promises. It was a tear-off menu and the dotted line was also
insensitive. (I did this accidentally.)

Havoc