mirror of
https://github.com/node-red/node-red.git
synced 2023-10-10 13:36:53 +02:00
Fix merging a remote diff
This commit is contained in:
parent
9a5139f452
commit
53401b6aa7
@ -1391,7 +1391,7 @@ RED.diff = (function() {
|
|||||||
}
|
}
|
||||||
})
|
})
|
||||||
|
|
||||||
RED.nodes.version(remoteDiff.rev);
|
RED.nodes.version(diff.remoteDiff.rev);
|
||||||
|
|
||||||
RED.view.redraw(true);
|
RED.view.redraw(true);
|
||||||
RED.palette.refresh();
|
RED.palette.refresh();
|
||||||
|
Loading…
Reference in New Issue
Block a user