save file

Author: javascript-2020

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

@@ -356,6 +356,7 @@
                                                                                 console.log('prompt');
               //await input.write('\u0003'); // Sends Ctrl+C to clear any junk
               await input.write('\n');     // Sends Enter to get a clean prompt
+              term.focus();
 
         }//prompt