From 4a3ca40c484d8ac71405c3b93e0ff1582d210e98 Mon Sep 17 00:00:00 2001
From: Joonas Henriksson <joonas.henriksson@gmail.com>
Date: Mon, 18 Nov 2019 22:25:59 +0200
Subject: [PATCH] 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 2b2d66bf9..54bb481f7 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);