Hi,

Here is a new set of patches with two more on top of the previous ones
(ie. Number 1 and 2 should be the same as before).

Number 3 sets the default mouse cursor to be an arrow on the default
menu bar area.  Number 4 fixes a flickering I had while moving the mouse
pointer *into* a menu bar entry.

Best regards,
-- 
Manuel Giraud