source:
josm/trunk/src/org/openstreetmap/josm/gui/preferences/map@
13724
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| BackupPreference.java | 6.0 KB | 12634 | 7 years |
see #15182 - deprecate Main.worker, replace it by …
|
|
| MapPaintPreference.java | 7.2 KB | 12846 | 7 years |
see #15229 - use Config.getPref() wherever possible
|
|
| MapPreference.java | 1.5 KB | 13431 | 6 years | fix #15950 - Preferences Help button should go directly to selected … | |
| package-info.java | 159 bytes | 7937 | 9 years | add subversion property svn:eol=native | |
| TaggingPresetPreference.java | 11.6 KB | 12846 | 7 years |
see #15229 - use Config.getPref() wherever possible
|
|
Note:
See TracBrowser
for help on using the repository browser.
