Possibly fixed update manager crash

This commit is contained in:
Tom Beckmann 2012-08-24 14:54:16 +02:00
parent e858a0d5fd
commit f84c186075

View File

@ -296,6 +296,9 @@ namespace Gala
minimize_completed (actor); minimize_completed (actor);
return; return;
} }
kill_window_effects (actor);
int width, height; int width, height;
get_screen ().get_size (out width, out height); get_screen ().get_size (out width, out height);
@ -571,9 +574,10 @@ namespace Gala
public override void kill_window_effects (WindowActor actor) public override void kill_window_effects (WindowActor actor)
{ {
if (end_animation (ref mapping, actor)) if (end_animation (ref mapping, actor)) {
map_completed (actor); map_completed (actor);
if (end_animation (ref minimizing, actor)) print ("Killed map animation\n");
} if (end_animation (ref minimizing, actor))
minimize_completed (actor); minimize_completed (actor);
if (end_animation (ref maximizing, actor)) if (end_animation (ref maximizing, actor))
maximize_completed (actor); maximize_completed (actor);