save file

Author: javascript-2020

utils/misc/nodejs-terminal/v3.0/nodejs-terminal-v3.0.html

@@ -107,7 +107,7 @@
               misc.initmod({ext,$});
               filemod.initmod({ext,$,menumod,menu,complete,source,log});
               tabs.initmod(mod.base);
-              tabs.initmod({Terminal,FitAddon,webcontainer,theme,spinner,link});
+              tabs.initmod({Terminal,FitAddon,webcontainer,theme,spinner,link,prompt});
               wcfs.initmod({ext,$,filemod,menumod,menu,complete,source,log,debug,webcontainer});
               ports.initmod({$,vm});
               log.initmod({ext,$});