source: josm/trunk/src@ 2855

Name Size Rev Age Author Last Change
../
org 2855   15 years Gubaer fixed #4364: editing an "advanced preference" will disable all plugins …
JOSM.java 571 bytes 1023   16 years stoecker close bug #1622. Keyboard shortcuts and specific OS handling
Note: See TracBrowser for help on using the repository browser.