From f281b3d09d0cef3327e4f45ba14ddc1234482cfa Mon Sep 17 00:00:00 2001 From: "Alex A. Naanou" Date: Mon, 9 May 2016 04:59:36 +0300 Subject: [PATCH] tweaking and minor fixes... Signed-off-by: Alex A. Naanou --- ui (gen4)/features/core.js | 5 +++++ 1 file changed, 5 insertions(+) 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) }],