From f84c1860758ec43b6d0a1a7eeadb84af7f3c02ad Mon Sep 17 00:00:00 2001 From: Tom Beckmann <tombeckmann@online.de> Date: Fri, 24 Aug 2012 14:54:16 +0200 Subject: [PATCH] Possibly fixed update manager crash --- src/Plugin.vala | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/src/Plugin.vala b/src/Plugin.vala index f9a4212e..0ccef648 100644 --- a/src/Plugin.vala +++ b/src/Plugin.vala @@ -296,6 +296,9 @@ namespace Gala minimize_completed (actor); return; } + + kill_window_effects (actor); + int width, height; get_screen ().get_size (out width, out height); @@ -571,9 +574,10 @@ namespace Gala public override void kill_window_effects (WindowActor actor) { - if (end_animation (ref mapping, actor)) + if (end_animation (ref mapping, actor)) { map_completed (actor); - if (end_animation (ref minimizing, actor)) + print ("Killed map animation\n"); + } if (end_animation (ref minimizing, actor)) minimize_completed (actor); if (end_animation (ref maximizing, actor)) maximize_completed (actor);