[webkit-reviews] review requested: [Bug 197346] [GTK] Mouse pointer no longer hidden during fullscreen video playback : [Attachment 390090] Patch

[bugzilla-daemon at webkit.org]

Enrique Ocaña <eocanha at igalia.com> has asked  for review:
Bug 197346: [GTK] Mouse pointer no longer hidden during fullscreen video
playback
https://bugs.webkit.org/show_bug.cgi?id=197346

Attachment 390090: Patch

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




--- Comment #2 from Enrique Ocaña <eocanha at igalia.com> ---
Created attachment 390090

  --> https://bugs.webkit.org/attachment.cgi?id=390090&action=review

Patch