On Tue, 26 Apr 2011, colliar wrote:
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.
In the menus is no wild mixture, but:
* control-keys are added with "+"
* keys are appended with "-"
Means: "Ctrl+Alt-U" and "Alt-U" or "Ctrl-U".
I don't know whether this is Java standard or produced by "Shortcut.java"
class.
Ciao
--
http://www.dstoecker.eu/ (PGP key available)
_______________________________________________
josm-dev mailing list
josm-dev@openstreetmap.org
http://lists.openstreetmap.org/listinfo/josm-dev
