From b71645f8ea139bb5484d404f184b8d2c7bcc269a Mon Sep 17 00:00:00 2001
From: Nicholas O'Leary <nick.oleary@gmail.com>
Date: Wed, 30 Oct 2013 19:58:42 +0000
Subject: [PATCH] Rename Workspaces to Sheets (ui only)

---
 public/red/nodes.js   | 2 +-
 public/red/ui/view.js | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/public/red/nodes.js b/public/red/nodes.js
index 1209a13e7..13afcf4b2 100644
--- a/public/red/nodes.js
+++ b/public/red/nodes.js
@@ -244,7 +244,7 @@ RED.nodes = function() {
                 }
             }
             if (defaultWorkspace == null) {
-                defaultWorkspace = { type:"workspace", id:getID(), label:"Workspace 1" };
+                defaultWorkspace = { type:"workspace", id:getID(), label:"Sheet 1" };
                 addWorkspace(defaultWorkspace);
                 RED.view.addWorkspace(defaultWorkspace);
             }
diff --git a/public/red/ui/view.js b/public/red/ui/view.js
index 9c1c8fb91..31e194acf 100644
--- a/public/red/ui/view.js
+++ b/public/red/ui/view.js
@@ -107,9 +107,9 @@ RED.view = function() {
         var tabId = RED.nodes.id();
         do {
             workspaceIndex += 1;
-        } while($("#workspace-tabs a[title='Workspace "+workspaceIndex+"']").size() != 0);
+        } while($("#workspace-tabs a[title='Sheet "+workspaceIndex+"']").size() != 0);
         
-        var ws = {type:"workspace",id:tabId,label:"Workspace "+workspaceIndex};
+        var ws = {type:"workspace",id:tabId,label:"Sheet "+workspaceIndex};
         RED.nodes.addWorkspace(ws);
         workspace_tabs.addTab(ws);
         workspace_tabs.activateTab(tabId);