save file

Author: javascript-2020

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

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