save file

Author: javascript-2020

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

@@ -337,6 +337,13 @@
         }//remove
 
 
+        obj.focus   = function(){
+        
+              term.focus();
+              
+        }//focus
+        
+        
   //: