colliar wrote:
> I noticed a difference between 
> https://josm.openstreetmap.de/wiki/Help/Menu/File
> and JOSM-latest.
> The shortcuts are once with "-" and once with "+". Which one should we use ?

You may be the first noticing this. The Java tooltips show "-", so "-" 
it is... (You could provide a patch or otherwise it might be that no 
developer is interested enough to look at this.)

Sebastian

_______________________________________________
josm-dev mailing list
josm-dev@openstreetmap.org
http://lists.openstreetmap.org/listinfo/josm-dev

Reply via email to