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