Re: DestroyMenu: Check if the menu is still used (fix for bug 1486)