From 5667bca5dfd9325abec5962554c64af26cc04435 Mon Sep 17 00:00:00 2001
From: Lennart Kats <lclkats@gmail.com>
Date: Tue, 17 Jan 2017 13:19:40 +0000
Subject: [PATCH] Fix menu item title that's often wrong

---
 plugins/c9.ide.tree/favorites.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugins/c9.ide.tree/favorites.js b/plugins/c9.ide.tree/favorites.js
index 71a47501..01cbe09b 100644
--- a/plugins/c9.ide.tree/favorites.js
+++ b/plugins/c9.ide.tree/favorites.js
@@ -452,7 +452,7 @@ define(function(require, exports, module) {
                 var mnuSettings = tree.getElement("mnuFilesSettings");
                 ui.insertByIndex(mnuSettings, new ui.item({
                     type: "check",
-                    caption: realRoot ? "Show Root File System" : "Show Workspace Directory",
+                    caption: "Show Workspace Root",
                     checked: "state/projecttree/@showfs",
                     onclick: function(e) {
                         toggleRootFS();