- Timestamp:
- 2011-12-28T22:38:19+01:00 (13 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/plugins
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r4470 r4737 405 405 // 406 406 int josmVersion = Version.getInstance().getVersion(); 407 if (plugin.mainversion > josmVersion && josmVersion != Version.JOSM_UNKNOWN_VERSION) { 408 alertJOSMUpdateRequired(parent, plugin.name, plugin.mainversion); 407 if (plugin.localmainversion > josmVersion && josmVersion != Version.JOSM_UNKNOWN_VERSION) { 408 alertJOSMUpdateRequired(parent, plugin.name, plugin.localmainversion); 409 409 return false; 410 410 } -
trunk/src/org/openstreetmap/josm/plugins/PluginInformation.java
r4721 r4737 39 39 public String name = null; 40 40 public int mainversion = 0; 41 public int localmainversion = 0; 41 42 public String className = null; 42 43 public boolean oldmode = false; -
trunk/src/org/openstreetmap/josm/plugins/ReadLocalPluginInformationTask.java
r4721 r4737 64 64 if (!availablePlugins.containsKey(info.getName())) { 65 65 info.localversion = info.version; 66 info.localmainversion = info.mainversion; 66 67 availablePlugins.put(info.getName(), info); 67 68 } else { 68 69 PluginInformation current = availablePlugins.get(info.getName()); 69 70 current.localversion = info.version; 71 current.localmainversion = info.mainversion; 70 72 if (info.icon != null) { 71 73 current.icon = info.icon;
Note:
See TracChangeset
for help on using the changeset viewer.