save file

Author: javascript-2020

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

@@ -32,7 +32,7 @@
     {border-color:gray;background:lightgray}
 
   .icon
-    {width:32px;height:32px;border:1px solid gray;border-radius:3px;box-sizing:border-box;cursor:pointer}
+    {width:25px;height:25px;border:1px solid gray;border-radius:3px;box-sizing:border-box;cursor:pointer;box-sizing:border-box}
 
             </style>
 
@@ -46,8 +46,6 @@
             </div>
 
             <div id=hldr>
-                  <div id=terminal>
-                  </div>
             </div>
 
       </template>
@@ -68,7 +66,7 @@
 
               $               = mod.rd(params,'$',$);
               theme           = mod.rd(params,'theme',theme);
-              Terminal        = mod.rd(params,'Terminal',terminal);
+              Terminal        = mod.rd(params,'Terminal',Terminal);
               FitAddon        = mod.rd(params,'FitAddon',FitAddon);
               webcontainer    = mod.rd(params,'webcontainer',webcontainer);
               spinner         = mod.rd(params,'spinner',spinner);
@@ -88,6 +86,7 @@
         var tabs;
         var tab;
 
+        var hldr;
 
         var btn       = {};
 
@@ -119,6 +118,7 @@
               hldr.style.background                   = theme.light.background;
 
 
+              
         }//initdom