mirror of
https://github.com/node-red/node-red.git
synced 2025-03-01 10:36:34 +00:00
More UI refresh
This commit is contained in:
@@ -206,6 +206,10 @@ RED.workspaces = (function() {
|
||||
RED.menu.setAction('menu-item-workspace-delete',function() {
|
||||
deleteWorkspace(RED.nodes.workspace(activeWorkspace));
|
||||
});
|
||||
|
||||
$(window).resize(function() {
|
||||
workspace_tabs.resize();
|
||||
});
|
||||
}
|
||||
|
||||
function removeWorkspace(ws) {
|
||||
|
||||
Reference in New Issue
Block a user