[eclipse-sig] [Bug 1290791] [gtk3+X11] some menus don't get hidden when clicked