Changeset 207 in josm for src/org/openstreetmap/josm/plugins

Timestamp:

2007-04-03T17:46:00+02:00 (18 years ago)

Author:

imi

Message:

• added "case sensitive" option to search dialog
• added a plugin manifest option "Plugin-Stage" to specify boot stage order (default is 50, smaller first)

File:

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

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

@@ -40 +40 @@
         public final boolean early;
         public final String author;
+        public final int stage;
         public final List<URL> libraries = new ArrayList<URL>();
 
@@ -57 +58 @@
                         description = attr.getValue("Plugin-Description");
                         early = Boolean.parseBoolean(attr.getValue("Plugin-Early"));
+                        String stageStr = attr.getValue("Plugin-Stage");
+                        stage = stageStr == null ? 50 : Integer.parseInt(stageStr);
                         author = attr.getValue("Author");
                         libraries.add(new URL(getURLString(file.getAbsolutePath())));