save file

Author: javascript-2020

utils/misc/nodejs-terminal/html/terminal-tabs/terminal-tabs.html

@@ -191,6 +191,7 @@
                     return;
               }
 
+              debugger;
               cur.view.tab.remove();
               cur.view.terminal.remove();
               mem.splice(cur.index,1,0);