diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2020-11-02 12:36:29 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2020-11-03 23:08:39 -0800 |
| commit | 814cda718365823654c7d13f2e24f31ac58ddb45 (patch) | |
| tree | 3105952e46c724795ff439accd41f569b333a03f /desktop-widgets/tab-widgets/TabDiveInformation.ui | |
| parent | 7d18a525f178c2c47ec72a96fbda92d5595f95d9 (diff) | |
| download | subsurface-814cda718365823654c7d13f2e24f31ac58ddb45.tar.gz | |
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>
Diffstat (limited to 'desktop-widgets/tab-widgets/TabDiveInformation.ui')
| -rw-r--r-- | desktop-widgets/tab-widgets/TabDiveInformation.ui | 9 |
1 files changed, 9 insertions, 0 deletions
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> |