diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js index 97601eee4..1ea5daff7 100644 --- a/js/ui/windowManager.js +++ b/js/ui/windowManager.js @@ -1301,8 +1301,10 @@ var WindowManager = class { actor.freeze(); - if (this._clearAnimationInfo(actor)) + if (this._clearAnimationInfo(actor)) { + log('Old animationInfo removed from actor %s'.format(actor)); this._shellwm.completed_size_change(actor); + } let destroyId = actor.connect('destroy', () => { this._clearAnimationInfo(actor);