Changeset 277 in josm for src/org/openstreetmap/josm/plugins/PluginInformation.java

Timestamp:

2007-07-06T00:38:51+02:00 (17 years ago)

Author:

imi

Message:

• added Plugin Manager to download new plugins from within JOSM

File:

• src/org/openstreetmap/josm/plugins/PluginInformation.java (modified) (3 diffs)

src/org/openstreetmap/josm/plugins/PluginInformation.java

@@ -32 +32 @@
         public final String author;
         public final int stage;
+        public final String version;
         public final List<URL> libraries = new ArrayList<URL>();
 
@@ -64 +65 @@
                         String stageStr = attr.getValue("Plugin-Stage");
                         stage = stageStr == null ? 50 : Integer.parseInt(stageStr);
+                        version = attr.getValue("Plugin-Version");
                         author = attr.getValue("Author");
                         if (file != null)
@@ -118 +120 @@
         }
 
-        private String getURLString(String fileName) {
+        public static String getURLString(String fileName) {
                 if (System.getProperty("os.name").startsWith("Windows"))
                         return "file:/"+fileName;