Changeset 154 in josm for src

Timestamp:

2006-10-08T03:20:53+02:00 (18 years ago)

Author:

imi

Message:

• enhanced plugin system to integrate osmarender

Location:

src/org/openstreetmap/josm

Files:

• Main.java (modified) (3 diffs)
• plugins/Plugin.java (modified) (2 diffs)
• plugins/PluginProxy.java (modified) (1 diff)

src/org/openstreetmap/josm/Main.java

@@ -28 +28 @@
 import javax.swing.JSeparator;
 import javax.swing.JToolBar;
+import javax.swing.SwingUtilities;
 import javax.swing.UIManager;
 
@@ -272 +273 @@
                         }
                 }
+
+                SwingUtilities.updateComponentTreeUI(parent);
+                for (DownloadTask task : downloadAction.downloadTasks)
+                        task.getCheckBox().updateUI();
         }
 
@@ -312 +317 @@
         public static JPanel panel = new JPanel(new BorderLayout());
 
-        protected final JMenuBar mainMenu = new JMenuBar();
+        public final JMenuBar mainMenu = new JMenuBar();
         protected static Rectangle bounds;
 

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

@@ -1 +1 @@
 package org.openstreetmap.josm.plugins;
 
+import java.io.FileNotFoundException;
+import java.io.FileOutputStream;
+import java.io.IOException;
+import java.io.InputStream;
 import java.net.URL;
 import java.net.URLClassLoader;
@@ -62 +66 @@
          */
         public void mapFrameInitialized(MapFrame oldFrame, MapFrame newFrame) {}
+
+        /**
+         * Copies the ressource 'from' to the file in the plugin directory named 'to'.
+         */
+        public void copy(String from, String to) throws FileNotFoundException, IOException {
+        FileOutputStream out = new FileOutputStream(getPluginDir()+to);
+        InputStream in = getClass().getResourceAsStream(from);
+        byte[] buffer = new byte[8192];
+        for(int len = in.read(buffer); len > 0; len = in.read(buffer))
+                out.write(buffer, 0, len);
+        in.close();
+        out.close();
+    }
 }

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

@@ -25 +25 @@
                 try {
                 plugin.getClass().getMethod("mapFrameInitialized", MapFrame.class, MapFrame.class).invoke(plugin, oldFrame, newFrame);
+        } catch (NoSuchMethodException e) {
         } catch (Exception e) {
                 throw new PluginException(this, info.name, e);