[Webkit-unassigned] [Bug 56466] Popup menu can get stuck in closed state when GtkMenu can't grab mouse.

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=56466





--- Comment #10 from Martin Robinson <mrobinson at webkit.org>  2011-11-23 04:21:10 PST ---
(In reply to comment #9)

> You mean #if PLATFORM(GTK) ? Do I need to submit another patch?

Yes, I think it makes sense to change the WebKit2 code to be wrapped with #if PLATFORM(GTK).

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.