missing download button for gr.components.Audio

[ngaudemet]

Describe the bug

their should be a download button in my Audio component
but I can't see it anywhere, neither on Safari or Chrome, neither when I upload a mp3 nor when I record from my microphone.
it is important that users are able to download their mic recording.
my version of gradio is 4.12.0

the PR "Add download button for audio #4977" should have solved this but it seems it doesn't work.

Have you searched existing issues? 🔎

• I have searched and found no existing issues

Reproduction

audio = gr.components.Audio(
label="Upload an audio"
type="filepath",
visible=True,
interactive=True,
show_download_button=True,
)

Screenshot

Logs

No response

System Info

Successfully installed gradio-4.12.0 gradio-client-0.8.0

Severity

I can work around it

[abidlabs]

It seems like there may have been a regression here, cc @hannahblair?

[hannahblair]

@abidlabs This isn't a regression - the download button only shows for static image components. I think this is the case for a couple other components e.g. ImageEditor, Video. We should change this - either by allowing interactive components to have a download button or documenting this better. WDYT?

[abidlabs]

Ah thanks for clarifying @hannahblair. Is it feasible to add the download button to the interactive Audio component? I think its useful as in some cases, an interactive Audio component may serve as both an input and an output, and so it would make sense for a user to be able to download the audio even if interactive=True

[hannahblair]

@abidlabs I'd agree! It's feasible. Shall we add this to the other components for consistency?

[abidlabs]

Let's do it

[ngaudemet]

thanks a lot. it is also useful when a user records an audio with their mic, and simply wants to download the audio.