From 4bcaf1c3c2ce8667fc36f2f4b0d3dc0744293c27 Mon Sep 17 00:00:00 2001
From: Fabian <copy@copy.sh>
Date: Wed, 27 Jul 2022 22:24:42 +0900
Subject: [PATCH] Give downloaded file a more useful name

---
 src/browser/main.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/browser/main.js b/src/browser/main.js
index 5027d435..1aa23247 100644
--- a/src/browser/main.js
+++ b/src/browser/main.js
@@ -1573,7 +1573,7 @@
             elem.onclick = function(e)
             {
                 let buffer = emulator.disk_images[type];
-                let filename = settings.id + (type === "cdrom" ? ".iso" : ".img");
+                let filename = buffer.file && buffer.file.name || (settings.id + (type === "cdrom" ? ".iso" : ".img"));
 
                 if(buffer.get_as_file)
                 {