From f0e3b87330a542bfe8a9331bf880a952a31abea8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <florian.muellner@gmail.com>
Date: Mon, 23 Nov 2009 22:42:02 +0100
Subject: [PATCH] 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 file changed, 6 insertions(+)

diff --git a/js/ui/workspaces.js b/js/ui/workspaces.js
index 565e557ff..58e982fc0 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();
     },