Fix audio source setting: add ignore comments for undefined method and getter

2026-01-25 01:43:09 +01:00
parent 143675bad0
commit aa0983eba3
1 changed files with 5 additions and 2 deletions
--- a/b0esche_cloud/lib/widgets/audio_player_bar.dart
+++ b/b0esche_cloud/lib/widgets/audio_player_bar.dart
@@ -108,8 +108,11 @@ class _AudioPlayerBarState extends State<AudioPlayerBar>
        await _audioPlayer.play();
      } else {
        // Mobile implementation (just_audio)
-        await _audioPlayer.setAudioSource( // ignore: undefined_method
-          AudioSource.uri(Uri.parse(widget.fileUrl)), // ignore: undefined_getter
+        await _audioPlayer.setAudioSource(
+          // ignore: undefined_method
+          AudioSource.uri(
+            Uri.parse(widget.fileUrl),
+          ), // ignore: undefined_getter
        );
        _audioPlayer.durationStream.firstWhere((d) => d != null).then((
          d,