From b35b50bc0df6d51ba95346a885230da60b021d2a Mon Sep 17 00:00:00 2001
From: Tom Beckmann <tombeckmann@online.de>
Date: Sat, 2 Jun 2012 00:59:12 +0200
Subject: [PATCH] May completly fixed workspace duplication problem

---
 src/Widgets/WorkspaceView.vala | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/Widgets/WorkspaceView.vala b/src/Widgets/WorkspaceView.vala
index 947d9fdc..5dab3fd6 100644
--- a/src/Widgets/WorkspaceView.vala
+++ b/src/Widgets/WorkspaceView.vala
@@ -277,7 +277,7 @@ namespace Gala
 			this.width = width;
 			
 			/*get the workspaces together*/
-			workspaces.foreach ( (c) => workspaces.remove_child (c) );
+			workspaces.remove_all_children ();
 			
 			for (var i=0;i<plugin.get_screen ().n_workspaces;i++) {
 				var space = plugin.get_screen ().get_workspace_by_index (i);
@@ -297,8 +297,7 @@ namespace Gala
 					
 					icon.reactive = true;
 					icon.button_release_event.connect ( () => {
-						w.activate_with_workspace (plugin.screen.get_display ().get_current_time (), 
-							space);
+						space.activate_with_focus (w,plugin.screen.get_display ().get_current_time ());
 						return false;
 					});