mirror of
https://github.com/node-red/node-red.git
synced 2023-10-10 13:36:53 +02:00
Rename Workspaces to Sheets (ui only)
This commit is contained in:
parent
60652d2095
commit
b71645f8ea
@ -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);
|
||||
}
|
||||
|
@ -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);
|
||||
|
Loading…
Reference in New Issue
Block a user