From 45b7391e89ddde4b52050f7d0e8e6b1d0bfee89a Mon Sep 17 00:00:00 2001
From: Eugene Pankov <e@ajenti.org>
Date: Tue, 15 Feb 2022 23:06:17 +0100
Subject: [PATCH] cleanup

---
 tabby-core/src/components/tabHeader.component.pug  | 6 +++++-
 tabby-core/src/components/tabHeader.component.scss | 5 +++++
 tabby-core/src/theme.scss                          | 4 ++++
 3 files changed, 14 insertions(+), 1 deletion(-)

diff --git a/tabby-core/src/components/tabHeader.component.pug b/tabby-core/src/components/tabHeader.component.pug
index 11228190..d71f85f6 100644
--- a/tabby-core/src/components/tabHeader.component.pug
+++ b/tabby-core/src/components/tabHeader.component.pug
@@ -5,7 +5,11 @@
 .index(*ngIf='!config.store.terminal.hideTabIndex && hostApp.platform === Platform.macOS', cdkDragHandle) {{index + 1}}
 .index(*ngIf='!config.store.terminal.hideTabIndex && hostApp.platform !== Platform.macOS') {{index + 1}}
 
-.icon(class='fa-fw {{tab.icon}}', style='{{ (tab.color)?"color:"+tab.color:"" }}', *ngIf='config.store.terminal.showTabProfileIcon')
+.icon(
+    *ngIf='config.store.terminal.showTabProfileIcon && tab.icon',
+    [ngClass]='tab.icon',
+    [style.color]='tab.color'
+)
 
 .name(
     [title]='tab.customTitle || tab.title',
diff --git a/tabby-core/src/components/tabHeader.component.scss b/tabby-core/src/components/tabHeader.component.scss
index 5cf6144e..bc664d98 100644
--- a/tabby-core/src/components/tabHeader.component.scss
+++ b/tabby-core/src/components/tabHeader.component.scss
@@ -41,6 +41,11 @@ $tabs-height: 38px;
         margin-top: 1px;
     }
 
+    .icon {
+        font-size: 13px;
+        margin: 1px 4px 0 0;
+    }
+
     .name {
         flex: auto;
         margin-top: 1px;
diff --git a/tabby-core/src/theme.scss b/tabby-core/src/theme.scss
index d360565d..56a0fbc6 100644
--- a/tabby-core/src/theme.scss
+++ b/tabby-core/src/theme.scss
@@ -62,6 +62,10 @@ app-root  {
                         color: rgba(255, 255, 255, 0.4);
                     }
 
+                    .icon {
+                        opacity: .75;
+                    }
+
                     button {
                         color: $body-color;
                         border: none;