How to un-break GNOME menus