mirror of
https://github.com/node-red/node-red.git
synced 2023-10-10 13:36:53 +02:00
parent
c797073c05
commit
306825aa90
@ -1392,7 +1392,7 @@ RED.editor = (function() {
|
|||||||
if (options.globals) {
|
if (options.globals) {
|
||||||
setTimeout(function() {
|
setTimeout(function() {
|
||||||
if (!!session.$worker) {
|
if (!!session.$worker) {
|
||||||
session.$worker.send("setOptions", [{globals: options.globals}]);
|
session.$worker.send("setOptions", [{globals: options.globals, esversion:6}]);
|
||||||
}
|
}
|
||||||
},100);
|
},100);
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user