From c7c47cdc495f9cfc4ef6fa1180f763de35111200 Mon Sep 17 00:00:00 2001 From: Roland Geider Date: Sat, 28 Jun 2025 17:49:59 +0200 Subject: [PATCH] Make the linter happy --- lib/widgets/routines/gym_mode/timer.dart | 24 +++++++++--------------- 1 file changed, 9 insertions(+), 15 deletions(-) diff --git a/lib/widgets/routines/gym_mode/timer.dart b/lib/widgets/routines/gym_mode/timer.dart index 7c374451..55fa8c54 100644 --- a/lib/widgets/routines/gym_mode/timer.dart +++ b/lib/widgets/routines/gym_mode/timer.dart @@ -49,7 +49,8 @@ class _TimerWidgetState extends State { super.initState(); _startTime = DateTime.now(); - _uiTimer = Timer.periodic(Duration(seconds: 1), (_) { + _uiTimer = Timer.periodic(const Duration(seconds: 1), (_) { + // ignore: no-empty-block, avoid-empty-setstate if (mounted) setState(() {}); }); } @@ -64,8 +65,7 @@ class _TimerWidgetState extends State { Widget build(BuildContext context) { final elapsed = DateTime.now().difference(_startTime).inSeconds; final displaySeconds = elapsed > _maxSeconds ? _maxSeconds : elapsed; - final displayTime = DateTime(2000, 1, 1, 0, 0, 0) - .add(Duration(seconds: displaySeconds)); + final displayTime = DateTime(2000, 1, 1, 0, 0, 0).add(Duration(seconds: displaySeconds)); return Column( children: [ @@ -78,10 +78,7 @@ class _TimerWidgetState extends State { child: Center( child: Text( DateFormat('m:ss').format(displayTime), - style: Theme.of(context) - .textTheme - .displayLarge! - .copyWith(color: wgerPrimaryColor), + style: Theme.of(context).textTheme.displayLarge!.copyWith(color: wgerPrimaryColor), ), ), ), @@ -117,7 +114,8 @@ class _TimerCountdownWidgetState extends State { super.initState(); _endTime = DateTime.now().add(Duration(seconds: widget._seconds)); - _uiTimer = Timer.periodic(Duration(seconds: 1), (_) { + _uiTimer = Timer.periodic(const Duration(seconds: 1), (_) { + // ignore: no-empty-block, avoid-empty-setstate if (mounted) setState(() {}); }); } @@ -132,8 +130,7 @@ class _TimerCountdownWidgetState extends State { Widget build(BuildContext context) { final remaining = _endTime.difference(DateTime.now()); final remainingSeconds = remaining.inSeconds <= 0 ? 0 : remaining.inSeconds; - final displayTime = DateTime(2000, 1, 1, 0, 0, 0) - .add(Duration(seconds: remainingSeconds)); + final displayTime = DateTime(2000, 1, 1, 0, 0, 0).add(Duration(seconds: remainingSeconds)); return Column( children: [ @@ -146,10 +143,7 @@ class _TimerCountdownWidgetState extends State { child: Center( child: Text( DateFormat('m:ss').format(displayTime), - style: Theme.of(context) - .textTheme - .displayLarge! - .copyWith(color: wgerPrimaryColor), + style: Theme.of(context).textTheme.displayLarge!.copyWith(color: wgerPrimaryColor), ), ), ), @@ -157,4 +151,4 @@ class _TimerCountdownWidgetState extends State { ], ); } -} \ No newline at end of file +}