save file

Author: javascript-2020

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

@@ -225,6 +225,7 @@
                           view.terminal.show();
                           cur.view    = view;
                           cur.index   = index;
+                          view.terminal.focus();
                     }
 
               });