From 91efbbf1c1fdae14ee8292920691d530dc0c7b43 Mon Sep 17 00:00:00 2001
From: Alessandro De Blasis <alex@deblasis.net>
Date: Wed, 29 Oct 2025 09:25:02 +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 b62d17cc2..3993544c9 100644
--- a/flutter/lib/mobile/widgets/custom_scale_widget.dart
+++ b/flutter/lib/mobile/widgets/custom_scale_widget.dart
@@ -186,7 +186,7 @@ class _MobileCustomScaleControlsState extends State<MobileCustomScaleControls> {
               Expanded(child: sliderControl),
               IconButton(
                 iconSize: 20,
-                padding: EdgeInsets.all(4),
+                padding: const EdgeInsets.all(4),
                 constraints: smallBtnConstraints,
                 icon: const Icon(Icons.add),
                 tooltip: translate('Increase'),