[gnome-shell] WindowOverlay: Show close button after an animation

[Jasper St. Pierre <jstpierre src gnome org>]

commit 2e02918323937dceeb63df9533a2b272619c408e
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Sun Mar 27 14:25:24 2011 -0400

    WindowOverlay: Show close button after an animation
    
    If a user is fast and mouses over a window while the workspace thumbnail
    animations are playing, it can be frustrating when the close button won't
    appear at the end of the animation.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=645848

 js/ui/workspace.js |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 2d48766..728eaa5 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -394,6 +394,8 @@ WindowOverlay.prototype = {
 
     show: function() {
         this._hidden = false;
+        if (this._windowClone.actor.has_pointer)
+            this.closeButton.show();
         this.title.show();
     },