From c658034d3b258f6c76cd3bee8be26df35179300e Mon Sep 17 00:00:00 2001
From: Henry-Hiles <henry@henryhiles.com>
Date: Sun, 8 Nov 2026 14:11:01 -0500
Subject: [PATCH] small cleanup to player controls

---
 lib/widgets/players/player_controls.dart | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/widgets/players/player_controls.dart b/lib/widgets/players/player_controls.dart
index 932c79a..826de96 100644
--- a/lib/widgets/players/player_controls.dart
+++ b/lib/widgets/players/player_controls.dart
@@ -63,7 +63,7 @@ class const PlayerControls(
             icon: Icon(playing ? Icons.pause_circle : Icons.play_circle),
           );
 
-    Slider slider({EdgeInsetsGeometry? padding}) => Slider(
+    Slider slider({EdgeInsetsGeometry? padding}) => .new(
       padding: padding,
       max: max,
       value: min(position.inMilliseconds.toDouble(), max),