for the old menu, I think it makes sense to change Open saved
map...->Open..., but what about the ribbons, as there is a
- New map
- Open saved map...
- Save map
Also there is a small problem (current 1.4.x branch): The "Save map"
button is not greyed out when all maps are successfully saved:
- it is correctly greyed out when you choose "Save all opened maps"
- it is not greyed out if I start up, change one map and save it
(all maps are saved then)
--> is this intentional?