|Summary:||[GTK] Mouse pointer no longer hidden during fullscreen video playback|
|Product:||WebKit||Reporter:||Michael Catanzaro <mcatanzaro>|
|Component:||Media||Assignee:||Enrique Ocaña <eocanha>|
|Severity:||Normal||CC:||annulen, aperez, berto, bugs-noreply, cgarcia, commit-queue, eocanha, ews-watchlist, gns, gyuyoung.kim, mcatanzaro, ryuan.choi, sergio, webkit-bug-importer|
|Version:||WebKit Nightly Build|
Description Michael Catanzaro 2019-04-27 15:13:58 PDT
The mouse pointer is supposed to be hidden after a few seconds of fullscreen video playback when it is not being moved around. This is no longer working properly.
Comment 1 Michael Catanzaro 2019-06-24 11:43:45 PDT
Strangely, the pointer actually does disappear, but only when moved to the edge of the screen. I'm not sure why that happens, but it's not enough. This is a recent-ish regression. I'm pretty sure it worked last year.
Comment 3 EWS Watchlist 2020-02-07 09:36:27 PST
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 4 Michael Catanzaro 2020-02-07 11:31:36 PST
Comment on attachment 390090 [details] Patch My hero!
Comment 5 WebKit Commit Bot 2020-02-10 02:13:45 PST
Comment on attachment 390090 [details] Patch Clearing flags on attachment: 390090 Committed r256113: <https://trac.webkit.org/changeset/256113>
Comment 6 WebKit Commit Bot 2020-02-10 02:13:47 PST
All reviewed patches have been landed. Closing bug.