Changeset 5114 in josm for trunk/src/org/openstreetmap/josm/gui/io/DownloadFileTask.java

Timestamp:

2012-03-22T08:37:48+01:00 (13 years ago)

Author:

akks

Message:

see #4421: Mechanism to modify JOSM settings and store files, advanced preferences dialog modifications
+ JavaScript configuration API
+ Asynchronous file download task DownloadFileTask
+ Function to export arbitrary preference keys to file

File:

• trunk/src/org/openstreetmap/josm/gui/io/DownloadFileTask.java (added)