[gnome-shell] windowManager: Remove unused property

[Florian Müllner <fmuellner src gnome org>]

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) {