From 9e60bb7bc6337617a722a9801197f3c65e18c305 Mon Sep 17 00:00:00 2001
From: Alessandro De Blasis <alex@deblasis.net>
Date: Wed, 29 Oct 2025 09:24:53 +0100
Subject: [PATCH] Update flutter/lib/mobile/widgets/custom_scale_widget.dart

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
---
 flutter/lib/mobile/widgets/custom_scale_widget.dart | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/flutter/lib/mobile/widgets/custom_scale_widget.dart b/flutter/lib/mobile/widgets/custom_scale_widget.dart
index 1976f6243..b62d17cc2 100644
--- a/flutter/lib/mobile/widgets/custom_scale_widget.dart
+++ b/flutter/lib/mobile/widgets/custom_scale_widget.dart
@@ -177,7 +177,7 @@ class _MobileCustomScaleControlsState extends State<MobileCustomScaleControls> {
             children: [
               IconButton(
                 iconSize: 20,
-                padding: EdgeInsets.all(4),
+                padding: const EdgeInsets.all(4),
                 constraints: smallBtnConstraints,
                 icon: const Icon(Icons.remove),
                 tooltip: translate('Decrease'),