Add extension when saving files

[felagund]

File... > Export changes to OSC file or Save to JOSM file saves files without the appropriate extensions (.osm for JOSM and .osc for OSC). JOSM seems to be unable to read the files without proper extensions, so it would be handy if they were added automatically.

[simonpoole]

The problem is that Android has no way to do that (or else we would have done so from day one) without using a custom filepicker which in turn causes pain because of SAF (and general inconsistent UI).

[felagund]

Oh, I would not have imagined that something like that can be a missing functionallity. Is there a way to somehow hint what the correct extension is? I am bound to forget. Though it is not so hard to rename it later on the computer.

By the way, is my understanding correct that if I want to add to an existing file, I need to download an area first, then load the file, do my changes and then save the file again, right?

[simonpoole]

It might be possible to rename the file after the data has been saved (I need to check that), which has the downside that the user wouldn't see the actual file name in the file picker.

By the way, is my understanding correct that if I want to add to an existing file, I need to download an area first, then load the file, do my changes and then save the file again, right?

Yes.