From 75b0c2d06833af18a04151214adea911978ea0d9 Mon Sep 17 00:00:00 2001
From: Bradley Matusiak <bmatusiak@gmail.com>
Date: Wed, 20 Jan 2016 17:54:38 -0500
Subject: [PATCH] moved user/tabs/@show to state/tabs/@show

moved user/tabs/@show to state/tabs/@show

**** as this could be different from another workspace
---
 plugins/c9.ide.editors/tabmanager.js | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/plugins/c9.ide.editors/tabmanager.js b/plugins/c9.ide.editors/tabmanager.js
index df0aa20c7..8d9be405f 100644
--- a/plugins/c9.ide.editors/tabmanager.js
+++ b/plugins/c9.ide.editors/tabmanager.js
@@ -86,7 +86,7 @@ define(function(require, module, exports) {
             
             menus.addItemByPath("View/Tab Buttons", new apf.item({
                 type: "check",
-                checked: "user/tabs/@show",
+                checked: "state/tabs/@show",
                 command: "toggleButtons"
             }), 300, plugin);
             
@@ -196,11 +196,10 @@ define(function(require, module, exports) {
             settings.on("read", function(e) {
                 // Defaults
                 settings.setDefaults("user/tabs", [
-                    ["show", "true"], 
                     ["title", "false"],
                     ["asterisk", "false"]
                 ]);
-                settings.setDefaults("state/tabs", []);
+                settings.setDefaults("state/tabs", [ ]);
                 
                 // Corner Handling
                 collapsedMenu = settings.getBool("state/menus/@minimized");
@@ -228,7 +227,7 @@ define(function(require, module, exports) {
                     }
                     isReady = true;
                     
-                    showTabs = settings.getBool("user/tabs/@show");
+                    showTabs = settings.getBool("state/tabs/@show");
                     toggleButtons(showTabs);
                 }, 0);
                 
@@ -449,7 +448,7 @@ define(function(require, module, exports) {
                 emit.sticky("paneCreate", { pane: pane }, pane);
             });
             
-            if (!settings.getBool("user/tabs/@show"))
+            if (!settings.getBool("state/tabs/@show"))
                 ui.setStyleClass(pane.aml.$ext, "notabs", ["notabs"]);
             
             changed = true;
@@ -806,7 +805,7 @@ define(function(require, module, exports) {
         function toggleButtons(to) {
             showTabs = to !== undefined ? to : !showTabs;
             
-            settings.set("user/tabs/@show", showTabs);
+            settings.set("state/tabs/@show", showTabs);
             emit("visible", {value: showTabs});
             
             getPanes(container).forEach(function(pane) {