[webkit-reviews] review requested: [Bug 56466] Popup menu can get stuck in closed state when GtkMenu can't grab mouse. : [Attachment 109276] proposed patch to fix this issue in recent revision

[bugzilla-daemon at webkit.org]

Wajahat Siddiqui <mdwajahatali.siddiqui at motorola.com> has asked  for review:
Bug 56466: Popup menu can get stuck in closed state when GtkMenu can't grab
mouse.
https://bugs.webkit.org/show_bug.cgi?id=56466

Attachment 109276: proposed patch to fix this issue in recent revision
https://bugs.webkit.org/attachment.cgi?id=109276&action=review

------- Additional Comments from Wajahat Siddiqui
<mdwajahatali.siddiqui at motorola.com>
I think this is a trivial issue, attaching patch with fix made in recent
revision