switcherPopup: Avoid unnecessary animation

Ever since commit 28bb0c1fb2, the popup's actual visibility has been
controlled by its :opacity property, not :visible.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/654
This commit is contained in:
Florian Müllner 2018-07-21 05:20:35 +02:00
parent 0f178c3b3d
commit 12ec5d1cbe

View File

@ -283,7 +283,7 @@ var SwitcherPopup = GObject.registerClass({
fadeAndDestroy() {
this._popModal();
if (this.visible) {
if (this.opacity > 0) {
Tweener.addTween(this,
{ opacity: 0,
time: POPUP_FADE_OUT_TIME / 1000,