Display in *.mp4, download in *.avi (#34)

- Display in *.mp4, download in *.avi (3a0a47d56788b96f03d276eccc559df9e017e60c)


Co-authored-by: Fabrice TIERCELIN <[email protected]>

app.py

@@ -94,7 +94,7 @@ def animate(
     
     return [
         # Display for video
-        gr.update(value = video_path, format = video_format if video_format != "gif" else None, visible=video_format != "gif"),
+        gr.update(value = video_path, visible=video_format != "gif"),
         # Display for gif
         gr.update(value = gif_path, visible = video_format == "gif"),
         # Download button