[gnome-shell/gnome-3-34] appMenu: Hide stopped spinner actor

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

commit 4a3ca40c484d8ac71405c3b93e0ff1582d210e98
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/834

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