From 5e4e08f601cb86e6945ea2f73cc571bc189451b8 Mon Sep 17 00:00:00 2001 From: Danny Baumann Date: Sun, 1 Dec 2024 13:41:50 +0100 Subject: [PATCH] Tune slider widget sizes Make sliders in lists (widgets and prefs) a bit less huge than they are by default. Signed-off-by: Danny Baumann --- mobile/src/main/res/layout/chart_scaling_pref.xml | 2 ++ mobile/src/main/res/layout/widgetlist_slideritem.xml | 4 +++- mobile/src/main/res/layout/widgetlist_slideritem_compact.xml | 4 +++- 3 files changed, 8 insertions(+), 2 deletions(-) diff --git a/mobile/src/main/res/layout/chart_scaling_pref.xml b/mobile/src/main/res/layout/chart_scaling_pref.xml index 35e1cdb8b1..27251cc2ef 100644 --- a/mobile/src/main/res/layout/chart_scaling_pref.xml +++ b/mobile/src/main/res/layout/chart_scaling_pref.xml @@ -88,6 +88,8 @@ android:focusable="false" android:clickable="false" android:background="@null" + app:trackHeight="12dp" + app:thumbHeight="32dp" app:labelBehavior="gone" /> + android:max="100" + app:trackHeight="12dp" + app:thumbHeight="32dp" /> + android:max="100" + app:trackHeight="8dp" + app:thumbHeight="24dp" />