1
0
mirror of https://github.com/node-red/node-red.git synced 2023-10-10 13:36:53 +02:00

not update sidebar for deleted tab

This commit is contained in:
Hiroyasu Nishiyama 2020-05-19 09:27:50 +09:00
parent e674d9246b
commit 12c92072d0

View File

@ -220,7 +220,9 @@ RED.workspaces = (function() {
if (RED.view.state() != RED.state.IMPORT_DRAGGING) { if (RED.view.state() != RED.state.IMPORT_DRAGGING) {
RED.view.state(RED.state.DEFAULT); RED.view.state(RED.state.DEFAULT);
} }
if (workspace_tabs.contains(workspace.id)) {
RED.sidebar.info.refresh(workspace); RED.sidebar.info.refresh(workspace);
}
tabflowEditor.destroy(); tabflowEditor.destroy();
} }
} }