[Webkit-unassigned] [Bug 56466] Popup menu can get stuck in closed state when GtkMenu can't grab mouse.
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Fri Sep 30 06:34:42 PDT 2011
https://bugs.webkit.org/show_bug.cgi?id=56466
Martin Robinson <mrobinson at webkit.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Attachment #109276|review?, commit-queue? |review-
Flag| |
--- Comment #3 from Martin Robinson <mrobinson at webkit.org> 2011-09-30 06:34:42 PST ---
(From update of attachment 109276)
View in context: https://bugs.webkit.org/attachment.cgi?id=109276&action=review
> Source/WebCore/platform/gtk/PopupMenuGtk.cpp:95
> + // GTK can refuse to actually open the menu when mouse grabs fails.
> + // Ensure WebCore does not go into some pesky state.
> + if (!gtk_widget_get_visible(m_popup->platformMenu()))
> + client()->popupDidHide();
You shold also include this fix in Source/WebKit2/UIProcess/gtk/WebPopupMenuProxyGtk.cpp.
--
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
More information about the webkit-unassigned
mailing list