Gradio keeps playing even if app is closed
Expected Behavior
I close the Gradio window - the app should quit.
Current Behavior
I close the Gradio windows - the station keeps on playing (I have the flatpak installed, in case that matters)
Steps to Reproduce
- Install Gradio from flathub
- Start Gradio, select a station to stream
- Close the window (by clicking on the X button)
- Observe the audio continue to play (integration in Gnome shell notifications still active and reactive)
Detailed Description
Terminate Gradio when closing its window - current behavior is as if the user would minimize the window. However, we don't need that functionality twice.