From fb28f77c859d5bdd19867294d8ea93b47053321f Mon Sep 17 00:00:00 2001
From: "Owen W. Taylor" <otaylor@fishsoup.net>
Date: Sun, 30 Jan 2011 21:13:11 -0500
Subject: [PATCH] Don't activate newly added workspaces

With workspace thumbnails, we want to make workspace switching
something that happens largely under the users control, so don't
switch to newly added workspaces in the overview.

https://bugzilla.gnome.org/show_bug.cgi?id=640996
---
 js/ui/workspacesView.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index c7a22b128..12028e9f2 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -234,7 +234,6 @@ WorkspacesView.prototype = {
         } else {
             let currentTime = global.get_current_time();
             ws = global.screen.append_new_workspace(false, currentTime);
-            ws.activate(currentTime);
         }
 
         return ws;