[josm-dev] Latest patches and plans for next week(s)

[Brent Easton]

>I know some other apps do this. They sometimes even go one step  
>further and have the app have a different set of shortcuts for each  
>OS. (Which might be where the difference in the redo keyboard  
>shortcut comes about).

Java has facilities to have the control/apple etc. modifier change automatically depending on OS.
____________________________________________________________
Brent Easton                       
Analyst/Programmer                               
University of Western Sydney                                   
Email: b.easton at uws.edu.au