save file

Author: javascript-2020

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

@@ -29,6 +29,9 @@
   .inactive
     {border-color:gray;background:lightgray}
 
+  .icon
+    {width:32px;height:32px;border:1px solid gray;border-radius:3px;box-sizing:border-box;cursor:pointer}
+    
             </style>
 
             <div id=tabs>
@@ -57,7 +60,7 @@
 
         var df=true,did='terminal-tabs';
 
-        var $,theme,Terminal,webcontainer,FitAddon,spinner,;
+        var $,theme,Terminal,webcontainer,FitAddon,spinner;
 
         obj.initmod   = function(params){