From 814cda718365823654c7d13f2e24f31ac58ddb45 Mon Sep 17 00:00:00 2001
From: Dirk Hohndel <dirk@hohndel.org>
Date: Mon, 2 Nov 2020 12:36:29 -0800
Subject: desktop: generalize the colorization of the tab widget

Instead of doing it just for the Information tab, do it for all of the tabs.
There's still room for improvement. But this certainly feels more consistent.

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
---
 desktop-widgets/tab-widgets/TabDiveInformation.ui | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'desktop-widgets/tab-widgets/TabDiveInformation.ui')

diff --git a/desktop-widgets/tab-widgets/TabDiveInformation.ui b/desktop-widgets/tab-widgets/TabDiveInformation.ui
index e31344529..d2619bada 100644
--- a/desktop-widgets/tab-widgets/TabDiveInformation.ui
+++ b/desktop-widgets/tab-widgets/TabDiveInformation.ui
@@ -62,6 +62,9 @@
          <property name="text">
           <string>DIVE</string>
          </property>
+         <property name="isHeader" stdset="0">
+          <bool>true</bool>
+         </property>
         </widget>
        </item>
 
@@ -208,6 +211,9 @@
          <property name="text">
           <string>GAS</string>
          </property>
+         <property name="isHeader" stdset="0">
+          <bool>true</bool>
+         </property>
         </widget>
        </item>
 
@@ -363,6 +369,9 @@
          <property name="text">
           <string>ENVIRONMENT</string>
          </property>
+         <property name="isHeader" stdset="0">
+          <bool>true</bool>
+         </property>
         </widget>
        </item>
 
-- 
cgit v1.2.3-70-g09d2