search

MarcusWolschon / osmeditor4android

Vespucci is a OpenStreetMap editor for Android
http://vespucci.io
Other
373 stars 83 forks source link

Add extension when saving files #2589

Open felagund opened 3 months ago

felagund commented 3 months ago

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 commented 3 months ago

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 commented 3 months ago

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 commented 3 months ago

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.