From b623a058599c3abe4c1c05a9ef86449d15edbc02 Mon Sep 17 00:00:00 2001
From: Tom Beckmann <tombeckmann@online.de>
Date: Tue, 22 May 2012 16:48:15 +0200
Subject: [PATCH] Forgot to ununcomment workspace animation

---
 src/main.vala | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/main.vala b/src/main.vala
index e376751e..5bccb6f4 100644
--- a/src/main.vala
+++ b/src/main.vala
@@ -139,7 +139,7 @@ public class GalaPlugin : Meta.Plugin {
         }
     }
     public override void switch_workspace (int from, int to, Meta.MotionDirection direction) {
-        /*unowned List<Clutter.Actor> windows = Meta.get_window_actors (this.get_screen ());
+        unowned List<Clutter.Actor> windows = Meta.get_window_actors (this.get_screen ());
         //FIXME js/ui/windowManager.js line 430
         int w, h;
         this.get_screen ().get_size (out w, out h);
@@ -207,9 +207,9 @@ public class GalaPlugin : Meta.Plugin {
             
             in_group.destroy ();
             out_group.destroy ();
-            */
+            
             this.switch_workspace_completed ();
-        //});
+        });
     }
     public override void kill_window_effects (Meta.WindowActor actor){