mirror of
https://github.com/node-red/node-red.git
synced 2023-10-10 13:36:53 +02:00
Fix lint issue
This commit is contained in:
parent
6d717a21cf
commit
df19e54555
@ -299,7 +299,6 @@ RED.workspaces = (function() {
|
|||||||
null,
|
null,
|
||||||
{
|
{
|
||||||
label: RED._("common.label.delete"),
|
label: RED._("common.label.delete"),
|
||||||
disabled: isCurrentLocked,
|
|
||||||
onselect: function() {
|
onselect: function() {
|
||||||
if (tab.type === 'tab') {
|
if (tab.type === 'tab') {
|
||||||
RED.workspaces.delete(tab)
|
RED.workspaces.delete(tab)
|
||||||
@ -307,7 +306,7 @@ RED.workspaces = (function() {
|
|||||||
RED.subflow.delete(tab.id)
|
RED.subflow.delete(tab.id)
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
disabled: (workspaceTabCount === 1)
|
disabled: isCurrentLocked || (workspaceTabCount === 1)
|
||||||
},
|
},
|
||||||
{
|
{
|
||||||
label: RED._("menu.label.export"),
|
label: RED._("menu.label.export"),
|
||||||
|
Loading…
Reference in New Issue
Block a user