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/shifttimes.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/shifttimes.ui')
0 files changed, 0 insertions, 0 deletions