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