Changeset 3380 in josm for trunk/src/org/openstreetmap/josm/data/Preferences.java

Timestamp:

2010-07-21T21:17:09+02:00 (14 years ago)

Author:

stoecker

Message:

readded plugin checking

File:

• trunk/src/org/openstreetmap/josm/data/Preferences.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/data/Preferences.java

@@ -752 +752 @@
      * The default plugin site
      */
-    private final static String[] DEFAULT_PLUGIN_SITE = {"http://josm.openstreetmap.de/plugin"};
+    private final static String[] DEFAULT_PLUGIN_SITE = {"http://josm.openstreetmap.de/plugin%<?plugins=>"};
 
     /**