Hi I have found different seperators for keyboard shortcuts in JOSM.
* On the wiki pages mainly "-" is used. * In JOSM menus a wild mixture of "+" and "-" is used. I tend to use "-" but I am openminded as long as we use everywhere the same one. cu colliar _______________________________________________ josm-dev mailing list josm-dev@openstreetmap.org http://lists.openstreetmap.org/listinfo/josm-dev
