[webkit-reviews] review granted: [Bug 198822] [GTK] gdk_display_get_device_manager and gdk_screen_get_width/height are deprecated : [Attachment 372043] Patch

[bugzilla-daemon at webkit.org]

Carlos Garcia Campos <cgarcia at igalia.com> has granted Ludovico de Nittis
<ludovico.denittis at collabora.com>'s request for review:
Bug 198822: [GTK] gdk_display_get_device_manager and
gdk_screen_get_width/height are deprecated
https://bugs.webkit.org/show_bug.cgi?id=198822

Attachment 372043: Patch

https://bugs.webkit.org/attachment.cgi?id=372043&action=review




--- Comment #2 from Carlos Garcia Campos <cgarcia at igalia.com> ---
Comment on attachment 372043
  --> https://bugs.webkit.org/attachment.cgi?id=372043
Patch

View in context: https://bugs.webkit.org/attachment.cgi?id=372043&action=review

> Source/WebCore/platform/gtk/GtkVersioning.c:35
> +    GdkSeat *seat =
gdk_display_get_default_seat(gdk_window_get_display(window));
> +    return gdk_seat_get_pointer(seat);

return
gdk_seat_get_pointer(gdk_display_get_default_seat(gdk_window_get_display(window
)));