Changeset 6316 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/advanced/ExportProfileAction.java
- Timestamp:
- 2013-10-07T20:18:17+02:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/advanced/ExportProfileAction.java
r6248 r6316 7 7 import java.io.File; 8 8 import java.util.ArrayList; 9 import java.util.List; 9 10 import java.util.Map; 10 11 … … 37 38 @Override 38 39 public void actionPerformed(ActionEvent ae) { 39 ArrayList<String> keys = new ArrayList<String>();40 List<String> keys = new ArrayList<String>(); 40 41 Map<String, Setting> all = prefs.getAllSettings(); 41 42 for (String key: all.keySet()) {
Note:
See TracChangeset
for help on using the changeset viewer.