added static/dynamic tab size setting - fixes #3426

terminus-core/src/components/tabHeader.component.scss

@@ -7,6 +7,11 @@ $tabs-height: 38px;
     flex: 1000 1 200px;
     width: 200px;
 
+    &.flex-width {
+        flex: 1000 1 auto;
+        width: auto;
+    }
+
     display: flex;
     flex-direction: row;
     min-width: 0;

terminus-core/src/components/tabHeader.component.ts

@@ -81,6 +81,10 @@ export class TabHeaderComponent {
         return items.slice(1)
     }
 
+    @HostBinding('class.flex-width') get isFlexWidthEnabled (): boolean {
+        return this.config.store.appearance.flexTabs
+    }
+
     @HostListener('dblclick') onDoubleClick (): void {
         this.showRenameTabModal()
     }

terminus-core/src/configDefaults.yaml

@@ -4,6 +4,7 @@ appearance:
   dockFill: 0.5
   dockHideOnBlur: false
   dockAlwaysOnTop: true
+  flexTabs: false
   tabsLocation: top
   cycleTabs: true
   theme: Standard

terminus-settings/src/components/settingsTab.component.pug

@@ -66,6 +66,29 @@ ngb-tabset.vertical(type='pills', [activeId]='activeTab')
                         )
                         | Right
 
+            .form-line
+                .header
+                    .title Tabs width
+                .btn-group(
+                    [(ngModel)]='config.store.appearance.flexTabs',
+                    (ngModelChange)='config.save()',
+                    ngbRadioGroup
+                )
+                    label.btn.btn-secondary(ngbButtonLabel)
+                        input(
+                            type='radio',
+                            ngbButton,
+                            [value]='true'
+                        )
+                        | Dynamic
+                    label.btn.btn-secondary(ngbButtonLabel)
+                        input(
+                            type='radio',
+                            ngbButton,
+                            [value]='false'
+                        )
+                        | Fixed
+
             .form-line
                 .header
                     .title(*ngIf='hostApp.platform !== Platform.macOS') Acrylic background