Give downloaded file a more useful name

This commit is contained in:
Fabian 2022-07-27 22:24:42 +09:00
commit 4bcaf1c3c2

View file

@ -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)
{