[gnome-shell] workspace: Continue overlay idle hide timeout when pointing at close button

[Florian Müllner <fmuellner src gnome org>]

commit 4f3c8b8d692eb50947d891fa9666b444bce35899
Author: Jonas Dreßler <verdre v0yd nl>
Date:   Tue Feb 12 13:04:55 2019 +0100

    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

 js/ui/workspace.js | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)
---
diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index f09637b89b..72707173c0 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -693,12 +693,13 @@ var WindowOverlay = class {
     }
 
     _idleHideOverlay() {
-        this._idleHideOverlayId = 0;
+        if (this.closeButton['has-pointer'])
+            return GLib.SOURCE_CONTINUE;
 
-        if (!this._windowClone['has-pointer'] &&
-            !this.closeButton['has-pointer'])
+        if (!this._windowClone['has-pointer'])
             this._animateInvisible();
 
+        this._idleHideOverlayId = 0;
         return GLib.SOURCE_REMOVE;
     }