diff options
| author | Florian Müllner <fmuellner@gnome.org> | 2014-04-24 12:11:36 +0200 |
|---|---|---|
| committer | Florian Müllner <fmuellner@gnome.org> | 2014-05-28 22:01:53 +0200 |
| commit | 2b365627ede5cf0ae9e786f9d4b1446fee42991a (patch) | |
| tree | 438e5d9cb0d5bd59758737e7555a1bb014387484 | |
| parent | b8f0d0f0dcddd4923962c058201f29cb3815f952 (diff) | |
windowManager: Remove (un)blockAnimations()
They are no longer used, kill them.
| -rw-r--r-- | js/ui/windowManager.js | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js index 401db757..623619db 100644 --- a/js/ui/windowManager.js +++ b/js/ui/windowManager.js @@ -464,8 +464,6 @@ const WindowManager = new Lang.Class({ this._dimmedWindows = []; - this._animationBlockCount = 0; - this._allowedKeybindings = {}; this._switchData = null; @@ -708,16 +706,8 @@ const WindowManager = new Lang.Class({ this._allowedKeybindings[name] = modes; }, - blockAnimations: function() { - this._animationBlockCount++; - }, - - unblockAnimations: function() { - this._animationBlockCount = Math.max(0, this._animationBlockCount - 1); - }, - _shouldAnimate: function() { - return !(Main.overview.visible || this._animationBlockCount > 0); + return !Main.overview.visible; }, _shouldAnimateActor: function(actor) { |