diff options
| author | Joonas Henriksson <joonas.henriksson@gmail.com> | 2019-11-18 22:25:59 +0200 |
|---|---|---|
| committer | Joonas Henriksson <joonas.henriksson@gmail.com> | 2019-11-19 23:25:34 +0200 |
| commit | 4a3ca40c484d8ac71405c3b93e0ff1582d210e98 (patch) | |
| tree | 815d6d635144362b1815b57afa7624f6e30aa521 /js | |
| parent | e257be64d0dca0b25f35b8969eb893742d6f624a (diff) | |
| download | gnome-shell-4a3ca40c484d8ac71405c3b93e0ff1582d210e98.tar.gz | |
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
Diffstat (limited to 'js')
| -rw-r--r-- | 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 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); |