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/TabDiveSite.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/TabDiveSite.ui')
| -rw-r--r-- | desktop-widgets/tab-widgets/TabDiveSite.ui | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/desktop-widgets/tab-widgets/TabDiveSite.ui b/desktop-widgets/tab-widgets/TabDiveSite.ui index 316527e04..adb16f598 100644 --- a/desktop-widgets/tab-widgets/TabDiveSite.ui +++ b/desktop-widgets/tab-widgets/TabDiveSite.ui @@ -21,6 +21,9 @@ <property name="text"> <string>Filter</string> </property> + <property name="isHeader" stdset="0"> + <bool>true</bool> + </property> </widget> </item> <item> |