save file

Author: javascript-2020

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

@@ -235,6 +235,16 @@
         }//show
 
 
+        obj.focus   = function(){
+        
+              if(!cur.view){
+                    return;
+              }
+              cur.view.terminal.focus();
+              
+        }//focus
+        
+        
   //:
 
   return obj;