Closed feeltheburn closed 3 years ago
Image used for other bug, but shows this as well.
On saving a new map file, the default name shows .elm, not .elm.gz as is the standard now.
As the editor can open/save .elm.gz files that already exist, it shouldn't be difficult to fix this so it saves as .elm.gz, right?
It was saving in gzip'ed format, just using the wrong extension. Should be fixed now.
Looks good, thx!
Image used for other bug, but shows this as well.
On saving a new map file, the default name shows .elm, not .elm.gz as is the standard now.
As the editor can open/save .elm.gz files that already exist, it shouldn't be difficult to fix this so it saves as .elm.gz, right?