From 5f2e0a32b12df1468419b123ac8fb4bb17cf47cc Mon Sep 17 00:00:00 2001 From: John Preston Date: Wed, 9 Aug 2023 11:47:15 +0200 Subject: [PATCH] Improve default tabs slider design. --- ui/widgets/widgets.style | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/ui/widgets/widgets.style b/ui/widgets/widgets.style index 4d42bf5..f9a93a2 100644 --- a/ui/widgets/widgets.style +++ b/ui/widgets/widgets.style @@ -991,6 +991,7 @@ SettingsSlider { barRadius: pixels; barFg: color; barFgActive: color; + barSnapToLabel: bool; labelTop: pixels; labelStyle: TextStyle; labelFg: color; @@ -1018,11 +1019,14 @@ defaultSettingsSlider: SettingsSlider { } defaultTabsSlider: SettingsSlider(defaultSettingsSlider) { - height: 53px; - barTop: 50px; + height: 43px; + barTop: 40px; barSkip: 0px; + barStroke: 6px; + barRadius: 2px; barFg: transparent; - labelTop: 19px; + barSnapToLabel: true; + labelTop: 12px; labelStyle: semiboldTextStyle; labelFg: windowSubTextFg; labelFgActive: lightButtonFg;