Display in *.mp4, download in *.avi

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