From 7cf53a0fa9735b1d894a8c04b5bd20ec3939f442 Mon Sep 17 00:00:00 2001 From: Alessandro De Blasis Date: Wed, 29 Oct 2025 09:24:34 +0100 Subject: [PATCH 1/4] 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 7807d3e2d..6a8196b20 100644 --- a/flutter/lib/mobile/widgets/custom_scale_widget.dart +++ b/flutter/lib/mobile/widgets/custom_scale_widget.dart @@ -170,7 +170,7 @@ class _MobileCustomScaleControlsState extends State { children: [ Text( '${translate("Scale custom")}: $_value%', - style: TextStyle(fontSize: 14, fontWeight: FontWeight.w500), + style: const TextStyle(fontSize: 14, fontWeight: FontWeight.w500), ), SizedBox(height: 8), Row( From 87f4ce98d27bb4e23d08d298aae5f1a4d7d4e3e9 Mon Sep 17 00:00:00 2001 From: Alessandro De Blasis Date: Wed, 29 Oct 2025 09:24:45 +0100 Subject: [PATCH 2/4] 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 6a8196b20..1976f6243 100644 --- a/flutter/lib/mobile/widgets/custom_scale_widget.dart +++ b/flutter/lib/mobile/widgets/custom_scale_widget.dart @@ -172,7 +172,7 @@ class _MobileCustomScaleControlsState extends State { '${translate("Scale custom")}: $_value%', style: const TextStyle(fontSize: 14, fontWeight: FontWeight.w500), ), - SizedBox(height: 8), + const SizedBox(height: 8), Row( children: [ IconButton( From 9e60bb7bc6337617a722a9801197f3c65e18c305 Mon Sep 17 00:00:00 2001 From: Alessandro De Blasis Date: Wed, 29 Oct 2025 09:24:53 +0100 Subject: [PATCH 3/4] 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 { children: [ IconButton( iconSize: 20, - padding: EdgeInsets.all(4), + padding: const EdgeInsets.all(4), constraints: smallBtnConstraints, icon: const Icon(Icons.remove), tooltip: translate('Decrease'), From 91efbbf1c1fdae14ee8292920691d530dc0c7b43 Mon Sep 17 00:00:00 2001 From: Alessandro De Blasis Date: Wed, 29 Oct 2025 09:25:02 +0100 Subject: [PATCH 4/4] 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 { 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'),