- Timestamp:
- 2020-08-03T23:09:11+02:00 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java
r16844 r16845 412 412 public void menuSelected(MenuEvent me) { 413 413 p.removeAll(); 414 File[] files = new File(".").listFiles(); 414 load(p, new File(".").listFiles()); 415 load(p, Config.getDirs().getPreferencesDirectory(false).listFiles()); 416 } 417 418 private void load(JMenu p, File[] files) { 415 419 if (files != null) { 416 for (File f : files) {417 String s = f.getName();418 int idx = s.indexOf('_');419 if (idx >= 0) {420 for (File f : files) { 421 String s = f.getName(); 422 int idx = s.indexOf('_'); 423 if (idx >= 0) { 420 424 String t = s.substring(0, idx); 421 425 if (profileTypes.containsKey(t)) { 422 426 p.add(new ImportProfileAction(s, f, t)); 423 427 } 424 } 425 } 426 } 427 files = Config.getDirs().getPreferencesDirectory(false).listFiles(); 428 if (files != null) { 429 for (File f: files) { 430 String s = f.getName(); 431 int idx = s.indexOf('_'); 432 if (idx >= 0) { 433 String t = s.substring(0, idx); 434 if (profileTypes.containsKey(t)) { 435 p.add(new ImportProfileAction(s, f, t)); 436 } 437 } 428 } 438 429 } 439 430 }
Note:
See TracChangeset
for help on using the changeset viewer.