[gnome-shell] appMenu: Hide stopped spinner actor

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

commit c68bd334326a89fe01aba6c1d5f9baea3df8180d
Author: Joonas Henriksson <joonas henriksson gmail com>
Date:   Mon Nov 18 22:25:59 2019 +0200

    appMenu: Hide stopped spinner actor
    
    Get rid of leftover empty space from the application menu panel
    button, that was used by the spinner actor, which remained visible
    even after the spinner had stopped.
    
    Fixes: https://gitlab.gnome.org/GNOME/gnome-shell/issues/1679
    https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/832

 js/ui/panel.js | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/js/ui/panel.js b/js/ui/panel.js
index 9e05722bff..73002d039b 100644
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -239,6 +239,7 @@ var AppMenuButton = GObject.registerClass({
 
         this._spinner = new Animation.Spinner(PANEL_ICON_SIZE, {
             animate: true,
+            hideOnStop: true,
         });
         this._container.add_actor(this._spinner);