Jonas Dreßler 4f3c8b8d69 workspace: Continue overlay idle hide timeout when pointing at close button
While it makes sense to remove the timeout in every other case, restart it
if the pointer is hovering over the close button to make sure the overlay
will be hidden afterwards.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/683
2019-09-18 15:56:26 +00:00
..
2019-08-09 10:58:46 -03:00
2019-09-15 16:02:45 +02:00
2019-09-15 16:02:45 +02:00
2019-09-12 19:09:24 +02:00