mirror of
https://github.com/node-red/node-red.git
synced 2023-10-10 13:36:53 +02:00
Merge branch 'master' into dev
This commit is contained in:
commit
754a36fbc9
@ -452,7 +452,7 @@ RED.clipboard = (function() {
|
|||||||
|
|
||||||
var libraries = RED.settings.libraries || [];
|
var libraries = RED.settings.libraries || [];
|
||||||
libraries.forEach(function(lib) {
|
libraries.forEach(function(lib) {
|
||||||
var tabId = "red-ui-clipboard-dialog-import-tab-library-"+lib.id
|
var tabId = "red-ui-clipboard-dialog-import-tab-"+lib.id
|
||||||
tabs.addTab({
|
tabs.addTab({
|
||||||
id: tabId,
|
id: tabId,
|
||||||
label: RED._(lib.label||lib.id)
|
label: RED._(lib.label||lib.id)
|
||||||
|
Loading…
Reference in New Issue
Block a user