Changeset 2571 in josm for trunk/src/org/openstreetmap/josm


Ignore:
Timestamp:
2009-12-04T18:05:33+01:00 (15 years ago)
Author:
stoecker
Message:

don't display outdated plugins any more in selection - allows us to keep them in server list

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/plugins/PluginSelection.java

    r2512 r2571  
    427427            }
    428428        }
     429        for (String p : PluginHandler.oldplugins)
     430        {
     431            if(availablePlugins.containsKey(p))
     432                availablePlugins.remove(p);
     433        }
    429434    }
    430435}
Note: See TracChangeset for help on using the changeset viewer.