[webkit-reviews] review requested: [Bug 44787] [Gtk] gdk_display_get_core_pointer and gdk_device_get_core_pointer are deprecated : [Attachment 65833] Proposed patch

[bugzilla-daemon at webkit.org]

Alejandro G. Castro <alex at igalia.com> has asked  for review:
Bug 44787: [Gtk] gdk_display_get_core_pointer and gdk_device_get_core_pointer
are deprecated
https://bugs.webkit.org/show_bug.cgi?id=44787

Attachment 65833: Proposed patch
https://bugs.webkit.org/attachment.cgi?id=65833&action=review

------- Additional Comments from Alejandro G. Castro <alex at igalia.com>
I think the patch is correct, maybe the Plos if the bot is not doing a clean
build could be causing the problem, recall to make a fresh rebuild in the bots
when uploading this patch. I've removed config.h and JavascriptCore include
using to find the file.