[gnome-shell] Fix disappearing close button

[Colin Walters <walters src gnome org>]

commit f0e3b87330a542bfe8a9331bf880a952a31abea8
Author: Florian Müllner <florian muellner gmail com>
Date:   Mon Nov 23 22:42:02 2009 +0100

    Fix disappearing close button
    
    Show the close button after zooming a window in the overview when the
    window clone has the pointer focus.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=602772

 js/ui/workspaces.js |    6 ++++++
 1 files changed, 6 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/workspaces.js b/js/ui/workspaces.js
index 565e557..58e982f 100644
--- a/js/ui/workspaces.js
+++ b/js/ui/workspaces.js
@@ -367,6 +367,12 @@ WindowOverlay.prototype = {
     },
 
     show: function() {
+        let [child, x, y, mask] = Gdk.Screen.get_default().get_root_window().get_pointer();
+        let actor = global.stage.get_actor_at_pos(Clutter.PickMode.REACTIVE,
+                                                  x, y);
+        if (actor == this._windowClone.actor) {
+            this.closeButton.show();
+        }
         this.title.show();
     },