[gnome-shell] panel: Hide spinner when switching apps

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

commit b7be4df603aab97086696f8b1dc0e5744275679d
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Mar 16 19:08:59 2011 +0100

    panel: Hide spinner when switching apps
    
    Commit fcfd17e was overzealous when simplifying the previous spinner
    animation, as a result the spinner now stays around when switching
    to another application while the animation is ongoing.

 js/ui/panel.js |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/panel.js b/js/ui/panel.js
index d606fd7..c064245 100644
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -501,6 +501,7 @@ AppMenuButton.prototype = {
             return;
         }
 
+        this._spinner.actor.hide();
         if (this._iconBox.child != null)
             this._iconBox.child.destroy();
         this._iconBox.hide();