mirror of
https://github.com/node-red/node-red.git
synced 2023-10-10 13:36:53 +02:00
rename
This commit is contained in:
parent
4ebe160f6c
commit
01e64be39d
@ -1376,7 +1376,7 @@ RED.diff = (function() {
|
|||||||
|
|
||||||
function mergeDiff(diff) {
|
function mergeDiff(diff) {
|
||||||
//console.log(diff);
|
//console.log(diff);
|
||||||
var selected = RED.workspaces.active();
|
var selectedTab = RED.workspaces.active();
|
||||||
var appliedDiff = applyDiff(diff);
|
var appliedDiff = applyDiff(diff);
|
||||||
|
|
||||||
var newConfig = appliedDiff.config;
|
var newConfig = appliedDiff.config;
|
||||||
@ -1427,7 +1427,7 @@ RED.diff = (function() {
|
|||||||
RED.view.redraw(true);
|
RED.view.redraw(true);
|
||||||
RED.palette.refresh();
|
RED.palette.refresh();
|
||||||
RED.workspaces.refresh();
|
RED.workspaces.refresh();
|
||||||
RED.workspaces.show(selected, true);
|
RED.workspaces.show(selectedTab, true);
|
||||||
RED.sidebar.config.refresh();
|
RED.sidebar.config.refresh();
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user