- Timestamp:
- 2009-10-18T12:10:12+02:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r2278 r2297 66 66 "namefinder", "waypoints", "slippy_map_chooser", "tcx-support"}; 67 67 String [] unmaintained = new String[] {"gpsbabelgui", "Intersect_way"}; 68 Map<String, Integer> requiredUpdate = new HashMap<String, Integer>();69 requiredUpdate.put("validator", 18092);70 68 71 69 for (String p : oldplugins) { … … 112 110 ); 113 111 continue; 114 }115 if (requiredUpdate.containsKey(info.name)) {116 int minimumVersion = requiredUpdate.get(info.name);117 boolean badVersion;118 try {119 badVersion = Integer.parseInt(info.version) < minimumVersion;120 } catch (NumberFormatException e) {121 badVersion = true;122 }123 if (badVersion) {124 JOptionPane.showMessageDialog(125 Main.parent,126 tr("Plugin {0} version {1} found but for this version of JOSM is at least version {2} required. "127 + "Please update the plugin.", info.name, info.version, String.valueOf(minimumVersion)),128 tr("Warning"),129 JOptionPane.WARNING_MESSAGE130 );131 continue;132 }133 112 } 134 113
Note:
See TracChangeset
for help on using the changeset viewer.