From 1cac7b2218c35e13e5aae4de31cb1afcd9906f95 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Tue, 9 Jul 2019 14:46:36 +0200
Subject: [PATCH] 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) {