[Bug 534964] gnome-main-menu not auto-hiding after right click