DestroyMenu gnome-user
*FvwmGtk-Menus: Destroy gnome-user
