Changeset 207 in josm for src/org/openstreetmap/josm/gui/MainApplication.java

Timestamp:

2007-04-03T17:46:00+02:00 (17 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/gui/MainApplication.java (modified) (3 diffs)

src/org/openstreetmap/josm/gui/MainApplication.java

@@ -21 +21 @@
 
 import org.openstreetmap.josm.Main;
-import org.openstreetmap.josm.plugins.PluginException;
 import org.openstreetmap.josm.plugins.PluginInformation;
 import org.openstreetmap.josm.tools.BugReportExceptionHandler;
-import org.openstreetmap.josm.tools.ImageProvider;
 /**
  * Main window class application.
@@ -119 +117 @@
 
                 // load the early plugins
-                if (Main.pref.hasKey("plugins")) {
-                        for (String pluginName : Main.pref.get("plugins").split(",")) {
-                                try {
-                                        File pluginFile = new File(pref.getPreferencesDir()+"plugins/"+pluginName+".jar");
-                                        if (pluginFile.exists()) {
-                                                PluginInformation info = new PluginInformation(pluginFile);
-                                                if (!info.early)
-                                                        continue;
-                                                Class<?> klass = info.loadClass();
-                                                ImageProvider.sources.add(0, klass);
-                                                Main.plugins.add(info.load(klass));
-                                        } else
-                                                System.out.println("Plugin not found: "+pluginName);
-                                } catch (PluginException e) {
-                                        System.out.println("Could not load plugin "+pluginName);
-                                        e.printStackTrace();
-                                }
-                        }
-                }
+                Main.loadPlugins(true);
 
                 if (argList.contains("--help") || argList.contains("-?") || argList.contains("-h")) {
@@ -171 +151 @@
                 Main.parent = mainFrame;
                 final Main main = new MainApplication(mainFrame);
-                main.loadPlugins();
+                Main.loadPlugins(false);
 
                 mainFrame.setVisible(true);