save file

Author: javascript-2020

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

@@ -140,7 +140,7 @@
 
         obj.add   = add;
 
-        function add(){
+        async function add(){
 
               var ntab        = tab.cloneNode(true);
               tabs.append(ntab);