mirror of
https://github.com/feeddeck/feeddeck.git
synced 2026-03-09 07:02:01 -05:00
[PR #84] [MERGED] [podcast] Stop Audio Playback on Windows and Linux #86
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/feeddeck/feeddeck/pull/84
Author: @ricoberger
Created: 11/29/2023
Status: ✅ Merged
Merged: 11/29/2023
Merged by: @ricoberger
Base:
main← Head:podcast-stop-audio-playback-on-windows-and-linux📝 Commits (1)
94fa577[podcast] Stop Audio Playback on Windows and Linux📊 Changes
2 files changed (+2 additions, -1 deletions)
View changed files
📝
app/lib/main.dart(+1 -1)📝
app/lib/widgets/item/details/utils/item_audio_palyer/item_audio_player.dart(+1 -0)📄 Description
On Windows and Linux it could happen that the audio playback for a podcast wasn't stopped when the item details view for a podcast item was closed.
This commit "fixes" the problem, by pausing the audio player, before the widget is disposed.
This commit also fixes the condition when the background audio services should be initialized in the
main.dartfile. Instead of the macOS check, we checked for iOS twice.🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.