GDK_EVENT_PROPAGATE and GDK_EVENT_STOP were added in GTK+ 3.4, and we require GTK+ 3.6. We should use them in WebKitWebViewBase to make the event handlers a bit easier to read.
Created attachment 332111 [details] Patch
Thanks for the patch. If this patch contains new public API please make sure it follows the guidelines for new WebKit2 GTK+ API. See http://trac.webkit.org/wiki/WebKitGTK/AddingNewWebKit2API
Comment on attachment 332111 [details] Patch Clearing flags on attachment: 332111 Committed r227519: <https://trac.webkit.org/changeset/227519>
All reviewed patches have been landed. Closing bug.