[gnome-shell] windowManager: Remove unused property
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] windowManager: Remove unused property
- Date: Tue, 9 Jul 2019 13:13:41 +0000 (UTC)
commit 1cac7b2218c35e13e5aae4de31cb1afcd9906f95
Author: Florian Müllner <fmuellner gnome org>
Date: Tue Jul 9 14:46:36 2019 +0200
windowManager: Remove unused property
The last commit removed the only code that set _blockAnimations,
so stop reading it as well.
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/620
js/ui/windowManager.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 9322569f7..3b843a636 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1241,7 +1241,7 @@ var WindowManager = class {
}
_shouldAnimate() {
- return !(Main.overview.visible || this._blockAnimations);
+ return !Main.overview.visible;
}
_shouldAnimateActor(actor, types) {
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]