diff --git a/ui (gen4)/features/core.js b/ui (gen4)/features/core.js
index 19c7bced..9aa21f2e 100755
--- a/ui (gen4)/features/core.js	
+++ b/ui (gen4)/features/core.js	
@@ -399,6 +399,7 @@ var WorkspaceActions = actions.Actions({
 			function(){ return Object.keys(this.config['workspaces']) },
 			function(state){ this.loadWorkspace(state) })],
 
+	// XXX should we keep the stack unique???
 	pushWorkspace: ['- Workspace/',
 		function(name){
 			name = name || this.workspace
@@ -406,6 +407,10 @@ var WorkspaceActions = actions.Actions({
 
 			this.saveWorkspace()
 
+			if(stack.slice(-1)[0] == name){
+				return
+			}
+
 			this.workspace != name && this.loadWorkspace(name)
 			stack.push(name)
 		}],