Changeset 1860 in josm


Ignore:
Timestamp:
2009-07-27T18:36:17+02:00 (12 years ago)
Author:
Gubaer
Message:

partial fix for #3109: window order generally messed up?

Location:
trunk/src/org/openstreetmap/josm/plugins
Files:
4 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/plugins/PluginDownloader.java

    r1811 r1860  
    2828import org.openstreetmap.josm.actions.AboutAction;
    2929import org.openstreetmap.josm.gui.ExtendedDialog;
     30import org.openstreetmap.josm.gui.OptionPaneUtil;
    3031import org.openstreetmap.josm.gui.PleaseWaitRunnable;
    3132import org.xml.sax.SAXException;
     
    4950
    5051        @Override protected void finish() {
    51             if (errors.length() > 0)
    52                 JOptionPane.showMessageDialog(Main.parent, tr("There were problems with the following plugins:\n\n {0}",errors));
    53             else
    54                 JOptionPane.showMessageDialog(Main.parent, trn("{0} Plugin successfully downloaded. Please restart JOSM.", "{0} Plugins successfully downloaded. Please restart JOSM.", count, count));
     52            if (errors.length() > 0) {
     53                OptionPaneUtil.showMessageDialog(
     54                        Main.parent,
     55                        tr("There were problems with the following plugins:\n\n {0}",errors),
     56                        tr("Error"),
     57                        JOptionPane.ERROR_MESSAGE
     58                );
     59            } else {
     60                OptionPaneUtil.showMessageDialog(
     61                        Main.parent,
     62                        trn("{0} Plugin successfully downloaded. Please restart JOSM.", "{0} Plugins successfully downloaded. Please restart JOSM.", count, count),
     63                        tr("Information"),
     64                        JOptionPane.INFORMATION_MESSAGE
     65                );
     66            }
    5567        }
    5668
    5769        @Override protected void realRun() throws SAXException, IOException {
    5870            File pluginDir = Main.pref.getPluginsDirFile();
    59             if (!pluginDir.exists())
     71            if (!pluginDir.exists()) {
    6072                pluginDir.mkdirs();
     73            }
    6174            progressMonitor.setTicksCount(toUpdate.size());
    6275            for (PluginInformation d : toUpdate) {
     
    6477                progressMonitor.worked(1);
    6578                File pluginFile = new File(pluginDir, d.name + ".jar.new");
    66                 if(download(d, pluginFile))
     79                if(download(d, pluginFile)) {
    6780                    count++;
    68                 else
     81                } else
    6982                {
    7083                    errors += d.name + "\n";
     
    88101        int count = 0;
    89102        for (String site : getSites()) {
    90         /* TODO: remove old site files (everything except .jar) */
     103            /* TODO: remove old site files (everything except .jar) */
    91104            try {
    92105                BufferedReader r = new BufferedReader(new InputStreamReader(new URL(site).openStream(), "utf-8"));
    93106                new File(Main.pref.getPreferencesDir()+"plugins").mkdir();
    94107                BufferedWriter out = new BufferedWriter(new OutputStreamWriter(
    95                 new FileOutputStream(new File(Main.pref.getPluginsDirFile(),
    96                 count + "-site-" + site.replaceAll("[/:\\\\ <>|]", "_") + ".txt")), "utf-8"));
    97                 for (String line = r.readLine(); line != null; line = r.readLine())
     108                        new FileOutputStream(new File(Main.pref.getPluginsDirFile(),
     109                                count + "-site-" + site.replaceAll("[/:\\\\ <>|]", "_") + ".txt")), "utf-8"));
     110                for (String line = r.readLine(); line != null; line = r.readLine()) {
    98111                    out.append(line+"\n");
     112                }
    99113                r.close();
    100114                out.close();
     
    110124        {
    111125            int answer = new ExtendedDialog(Main.parent,
    112                         tr("Skip download"),
    113                         tr("JOSM version {0} required for plugin {1}.", pd.mainversion, pd.name),
    114                         new String[] {tr("Download Plugin"), tr("Skip Download")},
    115                         new String[] {"download.png", "cancel.png"}).getValue();
     126                    tr("Skip download"),
     127                    tr("JOSM version {0} required for plugin {1}.", pd.mainversion, pd.name),
     128                    new String[] {tr("Download Plugin"), tr("Skip Download")},
     129                    new String[] {"download.png", "cancel.png"}).getValue();
    116130            if (answer != 1)
    117131                return false;
     
    122136            OutputStream out = new FileOutputStream(file);
    123137            byte[] buffer = new byte[8192];
    124             for (int read = in.read(buffer); read != -1; read = in.read(buffer))
     138            for (int read = in.read(buffer); read != -1; read = in.read(buffer)) {
    125139                out.write(buffer, 0, read);
     140            }
    126141            out.close();
    127142            in.close();
  • trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java

    r1837 r1860  
    3434import org.openstreetmap.josm.gui.ExtendedDialog;
    3535import org.openstreetmap.josm.gui.MapFrame;
     36import org.openstreetmap.josm.gui.OptionPaneUtil;
    3637import org.openstreetmap.josm.gui.download.DownloadSelection;
    3738import org.openstreetmap.josm.gui.preferences.PreferenceSettingFactory;
     
    5152        List<String> plugins = new LinkedList<String>();
    5253        Collection<String> cp = Main.pref.getCollection("plugins", null);
    53         if (cp != null)
     54        if (cp != null) {
    5455            plugins.addAll(cp);
    55         if (System.getProperty("josm.plugins") != null)
     56        }
     57        if (System.getProperty("josm.plugins") != null) {
    5658            plugins.addAll(Arrays.asList(System.getProperty("josm.plugins").split(",")));
     59        }
    5760
    5861        String [] oldplugins = new String[] {"mappaint", "unglueplugin",
    59         "lang-de", "lang-en_GB", "lang-fr", "lang-it", "lang-pl", "lang-ro",
    60         "lang-ru", "ewmsplugin", "ywms", "tways-0.2", "geotagged", "landsat",
    61         "namefinder", "waypoints", "slippy_map_chooser", "tcx-support"};
     62                "lang-de", "lang-en_GB", "lang-fr", "lang-it", "lang-pl", "lang-ro",
     63                "lang-ru", "ewmsplugin", "ywms", "tways-0.2", "geotagged", "landsat",
     64                "namefinder", "waypoints", "slippy_map_chooser", "tcx-support"};
    6265        for (String p : oldplugins) {
    6366            if (plugins.contains(p)) {
    6467                plugins.remove(p);
    6568                Main.pref.removeFromCollection("plugins", p);
    66                 JOptionPane.showMessageDialog(Main.parent, tr("Warning - loading of {0} plugin was requested. This plugin is no longer required.", p));
     69                OptionPaneUtil.showMessageDialog(
     70                        Main.parent,
     71                        tr("Loading of {0} plugin was requested. This plugin is no longer required.", p),
     72                        tr("Warning"),
     73                        JOptionPane.WARNING_MESSAGE
     74                );
    6775            }
    6876        }
     
    7583            PluginInformation info = PluginInformation.findPlugin(pluginName);
    7684            if (info != null) {
    77                 if (info.early != early)
     85                if (info.early != early) {
    7886                    continue;
     87                }
    7988                if (info.mainversion > AboutAction.getVersionNumber()) {
    80                     JOptionPane.showMessageDialog(Main.parent, tr("Plugin {0} requires JOSM update to version {1}.", pluginName,
    81                     info.mainversion));
     89                    OptionPaneUtil.showMessageDialog(
     90                            Main.parent,
     91                            tr("Plugin {0} requires JOSM update to version {1}.", pluginName,
     92                                    info.mainversion),
     93                                    tr("Warning"),
     94                                    JOptionPane.WARNING_MESSAGE
     95                    );
    8296                    continue;
    8397                }
     
    92106                    if(warn != null)
    93107                    {
    94                         JOptionPane.showMessageDialog(Main.parent,
    95                         tr("Plugin {0} is required by plugin {1} but was not found.",
    96                         warn, pluginName));
     108                        OptionPaneUtil.showMessageDialog(Main.parent,
     109                                tr("Plugin {0} is required by plugin {1} but was not found.",
     110                                        warn, pluginName),
     111                                        tr("Error"),
     112                                        JOptionPane.ERROR_MESSAGE
     113                        );
    97114                        continue;
    98115                    }
    99116                }
    100                 if (!p.containsKey(info.stage))
     117                if (!p.containsKey(info.stage)) {
    101118                    p.put(info.stage, new LinkedList<PluginInformation>());
     119                }
    102120                p.get(info.stage).add(info);
    103121            } else if(early) {
    104                 JOptionPane.showMessageDialog(Main.parent, tr("Plugin not found: {0}.", pluginName));
     122                OptionPaneUtil.showMessageDialog(
     123                        Main.parent,
     124                        tr("Plugin not found: {0}.", pluginName),
     125                        tr("Error"),
     126                        JOptionPane.ERROR_MESSAGE
     127                );
    105128            }
    106129        }
     
    114137                Main.pref.put("pluginmanager.lastupdate",Long.toString(tim));
    115138            } else if (d > maxTime) {
    116                 JOptionPane.showMessageDialog(Main.parent,
    117                    "<html>" +
    118                    tr("Last plugin update more than {0} days ago.", d) +
    119                    "<br><em>" +
    120                    tr("(You can change the number of days after which this warning appears<br>by setting the config option 'pluginmanager.warntime'.)") +
    121                    "</html>");
     139                OptionPaneUtil.showMessageDialog(Main.parent,
     140                        "<html>" +
     141                        tr("Last plugin update more than {0} days ago.", d) +
     142                        "<br><em>" +
     143                        tr("(You can change the number of days after which this warning appears<br>by setting the config option 'pluginmanager.warntime'.)") +
     144                        "</html>",
     145                        tr("Warning"),
     146                        JOptionPane.WARNING_MESSAGE
     147                );
    122148            }
    123149        }
     
    125151        // iterate all plugins and collect all libraries of all plugins:
    126152        List<URL> allPluginLibraries = new ArrayList<URL>();
    127         for (Collection<PluginInformation> c : p.values())
    128             for (PluginInformation info : c)
     153        for (Collection<PluginInformation> c : p.values()) {
     154            for (PluginInformation info : c) {
    129155                allPluginLibraries.addAll(info.libraries);
     156            }
     157        }
    130158        // create a classloader for all plugins:
    131159        URL[] jarUrls = new URL[allPluginLibraries.size()];
     
    146174
    147175                    int result = new ExtendedDialog(Main.parent,
    148                         tr("Disable plugin"),
    149                         tr("Could not load plugin {0}. Delete from preferences?", info.name),
    150                         new String[] {tr("Disable plugin"), tr("Keep plugin")},
    151                         new String[] {"dialogs/delete.png", "cancel.png"}).getValue();
     176                            tr("Disable plugin"),
     177                            tr("Could not load plugin {0}. Delete from preferences?", info.name),
     178                            new String[] {tr("Disable plugin"), tr("Keep plugin")},
     179                            new String[] {"dialogs/delete.png", "cancel.png"}).getValue();
    152180
    153181                    if(result == 1)
     
    161189    }
    162190    public static void setMapFrame(MapFrame old, MapFrame map) {
    163         for (PluginProxy plugin : pluginList)
     191        for (PluginProxy plugin : pluginList) {
    164192            plugin.mapFrameInitialized(old, map);
     193        }
    165194    }
    166195
     
    174203    public static void addDownloadSelection(List<DownloadSelection> downloadSelections)
    175204    {
    176         for (PluginProxy p : pluginList)
     205        for (PluginProxy p : pluginList) {
    177206            p.addDownloadSelection(downloadSelections);
     207        }
    178208    }
    179209    public static void getPreferenceSetting(Collection<PreferenceSettingFactory> settings)
     
    187217    {
    188218        if (!PluginDownloader.moveUpdatedPlugins()) {
    189             JOptionPane.showMessageDialog(null,
     219            OptionPaneUtil.showMessageDialog(
     220                    Main.parent,
    190221                    tr("Activating the updated plugins failed. Check if JOSM has the permission to overwrite the existing ones."),
    191222                    tr("Plugins"), JOptionPane.ERROR_MESSAGE);
     
    197228
    198229        // Check for an explicit problem when calling a plugin function
    199         if (e instanceof PluginException)
     230        if (e instanceof PluginException) {
    200231            plugin = ((PluginException)e).plugin;
     232        }
    201233
    202234        if (plugin == null)
     
    204236            String name = null;
    205237            /**
    206             * Analyze the stack of the argument and find a name of a plugin, if
    207             * some known problem pattern has been found.
    208             *
    209             * Note: This heuristic is not meant as discrimination against specific
    210             * plugins, but only to stop the flood of similar bug reports about plugins.
    211             * Of course, plugin writers are free to install their own version of
    212             * an exception handler with their email address listed to receive
    213             * bug reports ;-).
    214             */
     238             * Analyze the stack of the argument and find a name of a plugin, if
     239             * some known problem pattern has been found.
     240             *
     241             * Note: This heuristic is not meant as discrimination against specific
     242             * plugins, but only to stop the flood of similar bug reports about plugins.
     243             * Of course, plugin writers are free to install their own version of
     244             * an exception handler with their email address listed to receive
     245             * bug reports ;-).
     246             */
    215247            for (StackTraceElement element : e.getStackTrace()) {
    216248                String c = element.getClassName();
    217249
    218                 if (c.contains("wmsplugin.") || c.contains(".WMSLayer"))
     250                if (c.contains("wmsplugin.") || c.contains(".WMSLayer")) {
    219251                    name = "wmsplugin";
    220                 if (c.contains("livegps."))
     252                }
     253                if (c.contains("livegps.")) {
    221254                    name = "livegps";
    222                 if (c.startsWith("UtilsPlugin."))
     255                }
     256                if (c.startsWith("UtilsPlugin.")) {
    223257                    name = "UtilsPlugin";
     258                }
    224259
    225260                if (c.startsWith("org.openstreetmap.josm.plugins.")) {
     
    229264                    }
    230265                }
    231                 if(name != null)
    232                   break;
     266                if(name != null) {
     267                    break;
     268                }
    233269            }
    234270            for (PluginProxy p : pluginList)
     
    244280        if (plugin != null) {
    245281            int answer = new ExtendedDialog(Main.parent,
    246                 tr("Disable plugin"),
    247                 tr("An unexpected exception occurred that may have come from the ''{0}'' plugin.", plugin.info.name)
     282                    tr("Disable plugin"),
     283                    tr("An unexpected exception occurred that may have come from the ''{0}'' plugin.", plugin.info.name)
    248284                    + "\n"
    249285                    + (plugin.info.author != null
    250                         ? tr("According to the information within the plugin, the author is {0}.", plugin.info.author)
    251                         : "")
    252                     + "\n"
    253                     + tr("Try updating to the newest version of this plugin before reporting a bug.")
    254                     + "\n"
    255                     + tr("Should the plugin be disabled?"),
    256                 new String[] {tr("Disable plugin"), tr("Cancel")},
    257                 new String[] {"dialogs/delete.png", "cancel.png"}).getValue();
     286                            ? tr("According to the information within the plugin, the author is {0}.", plugin.info.author)
     287                                    : "")
     288                                    + "\n"
     289                                    + tr("Try updating to the newest version of this plugin before reporting a bug.")
     290                                    + "\n"
     291                                    + tr("Should the plugin be disabled?"),
     292                                    new String[] {tr("Disable plugin"), tr("Cancel")},
     293                                    new String[] {"dialogs/delete.png", "cancel.png"}).getValue();
    258294            if (answer == 1) {
    259295                List<String> plugins = new ArrayList<String>(Main.pref.getCollection("plugins", Collections.<String>emptyList()));
     
    261297                    while (plugins.remove(plugin.info.name)) {}
    262298                    Main.pref.putCollection("plugins", plugins);
    263                     JOptionPane.showMessageDialog(Main.parent,
    264                     tr("The plugin has been removed from the configuration. Please restart JOSM to unload the plugin."));
     299                    OptionPaneUtil.showMessageDialog(Main.parent,
     300                            tr("The plugin has been removed from the configuration. Please restart JOSM to unload the plugin."),
     301                            tr("Information"),
     302                            JOptionPane.INFORMATION_MESSAGE);
    265303                } else {
    266                     JOptionPane.showMessageDialog(Main.parent,
    267                     tr("The plugin could not be removed. Probably it was already disabled"));
     304                    OptionPaneUtil.showMessageDialog(
     305                            Main.parent,
     306                            tr("The plugin could not be removed. Probably it was already disabled"),
     307                            tr("Error"),
     308                            JOptionPane.ERROR_MESSAGE
     309                    );
    268310                }
    269311                return true;
     
    276318        String text = "";
    277319        String pl = Main.pref.get("plugins");
    278         if(pl != null && pl.length() != 0)
     320        if(pl != null && pl.length() != 0) {
    279321            text += "Plugins: "+pl+"\n";
     322        }
    280323        for (final PluginProxy pp : pluginList) {
    281324            text += "Plugin " + pp.info.name + (pp.info.version != null && !pp.info.version.equals("") ? " Version: "+pp.info.version+"\n" : "\n");
     
    302345                    a.setEditable(false);
    303346                    a.setText(b.toString());
    304                     JOptionPane.showMessageDialog(Main.parent, new JScrollPane(a));
     347                    OptionPaneUtil.showMessageDialog(
     348                            Main.parent,
     349                            new JScrollPane(a),
     350                            tr("Plugin information"),
     351                            JOptionPane.INFORMATION_MESSAGE
     352                    );
    305353                }
    306354            }), GBC.eol());
  • trunk/src/org/openstreetmap/josm/plugins/PluginInformation.java

    r1767 r1860  
    88import java.io.IOException;
    99import java.io.InputStream;
     10import java.net.MalformedURLException;
    1011import java.net.URL;
    11 import java.net.MalformedURLException;
    1212import java.util.ArrayList;
    1313import java.util.Collection;
     
    1515import java.util.List;
    1616import java.util.Map;
    17 import java.util.Set;
    1817import java.util.TreeMap;
    1918import java.util.jar.Attributes;
     
    8685            Manifest manifest = new Manifest();
    8786            manifest.read(manifestStream);
    88             if(url != null)
     87            if(url != null) {
    8988                downloadlink = url;
     89            }
    9090            scanManifest(manifest, url != null);
    9191        } catch (IOException e) {
     
    100100        className = attr.getValue("Plugin-Class");
    101101        String s = attr.getValue(lang+"Plugin-Link");
    102         if(s == null)
     102        if(s == null) {
    103103            s = attr.getValue("Plugin-Link");
     104        }
    104105        link = s;
    105106        requires = attr.getValue("Plugin-Requires");
     
    108109        {
    109110            s = attr.getValue("Plugin-Description");
    110             if(s != null)
     111            if(s != null) {
    111112                s = tr(s);
     113            }
    112114        }
    113115        description = s;
     
    151153            for (String entry : classPath.split(" ")) {
    152154                File entryFile;
    153                 if (new File(entry).isAbsolute())
     155                if (new File(entry).isAbsolute()) {
    154156                    entryFile = new File(entry);
    155                 else
     157                } else {
    156158                    entryFile = new File(file.getParent(), entry);
     159                }
    157160
    158161                libraries.add(fileToURL(entryFile));
    159162            }
    160163        }
    161         for (Object o : attr.keySet())
     164        for (Object o : attr.keySet()) {
    162165            this.attr.put(o.toString(), attr.getValue(o.toString()));
     166        }
    163167    }
    164168
     
    166170    {
    167171        String d = description == null ? tr("no description available") : description;
    168         if(link != null)
     172        if(link != null) {
    169173            d += " <A HREF=\""+link+"\">"+tr("More details")+"</A>";
     174        }
    170175        return d;
    171176    }
     
    262267        Collection<String> locations = Main.pref.getAllPossiblePreferenceDirs();
    263268        Collection<String> all = new ArrayList<String>(locations.size());
    264         for (String s : locations)
     269        for (String s : locations) {
    265270            all.add(s+"plugins");
     271        }
    266272        return all;
    267273    }
  • trunk/src/org/openstreetmap/josm/plugins/PluginSelection.java

    r1818 r1860  
    3838import org.openstreetmap.josm.Main;
    3939import org.openstreetmap.josm.gui.ExtendedDialog;
     40import org.openstreetmap.josm.gui.OptionPaneUtil;
    4041import org.openstreetmap.josm.tools.OpenBrowser;
    4142
     
    4849    public void updateDescription(JPanel pluginPanel) {
    4950        int count = PluginDownloader.downloadDescription();
    50         if (count > 0)
    51             JOptionPane.showMessageDialog(Main.parent,
    52                 trn("Downloaded plugin information from {0} site",
    53                     "Downloaded plugin information from {0} sites", count, count));
    54         else
    55             JOptionPane.showMessageDialog(Main.parent, tr("No plugin information found."));
     51        if (count > 0) {
     52            OptionPaneUtil.showMessageDialog(Main.parent,
     53                    trn("Downloaded plugin information from {0} site",
     54                            "Downloaded plugin information from {0} sites", count, count),
     55                            tr("Information"),
     56                            JOptionPane.INFORMATION_MESSAGE
     57            );
     58        } else {
     59            OptionPaneUtil.showMessageDialog(
     60                    Main.parent,
     61                    tr("No plugin information found."),
     62                    tr("Error"),
     63                    JOptionPane.ERROR_MESSAGE
     64            );
     65        }
    5666        drawPanel(pluginPanel);
    5767    }
     
    8090        }
    8191        if (toUpdate.isEmpty()) {
    82             JOptionPane.showMessageDialog(Main.parent, tr("All installed plugins are up to date."));
     92            OptionPaneUtil.showMessageDialog(
     93                    Main.parent,
     94                    tr("All installed plugins are up to date."),
     95                    tr("Information"),
     96                    JOptionPane.INFORMATION_MESSAGE
     97            );
    8398            done = true;
    8499        } else {
    85100            int answer = new ExtendedDialog(Main.parent,
    86                         tr("Update"),
    87                         tr("Update the following plugins:\n\n{0}", toUpdateStr.toString()),
    88                         new String[] {tr("Update Plugins"), tr("Cancel")},
    89                         new String[] {"dialogs/refresh.png", "cancel.png"}).getValue();
     101                    tr("Update"),
     102                    tr("Update the following plugins:\n\n{0}", toUpdateStr.toString()),
     103                    new String[] {tr("Update Plugins"), tr("Cancel")},
     104                    new String[] {"dialogs/refresh.png", "cancel.png"}).getValue();
    90105            if (answer == 1) {
    91106                PluginDownloader.update(toUpdate);
     
    93108            }
    94109        }
    95         if (done && num >= 1)
     110        if (done && num >= 1) {
    96111            Main.pref.put("pluginmanager.lastupdate", Long.toString(System.currentTimeMillis()));
     112        }
    97113        drawPanel(pluginPanel);
    98114    }
     
    110126                PluginInformation pi = localPlugins.get(name);
    111127                if(pi == null || (pi.version == null && ap.version != null)
    112                 || (pi.version != null && !pi.version.equals(ap.version)))
     128                        || (pi.version != null && !pi.version.equals(ap.version)))
    113129                {
    114130                    toDownload.add(ap);
     
    119135        if (!toDownload.isEmpty()) {
    120136            int answer = new ExtendedDialog(Main.parent,
    121                         tr("Download missing plugins"),
    122                         tr("Download the following plugins?\n\n{0}", msg),
    123                         new String[] {tr("Download Plugins"), tr("Cancel")},
    124                         new String[] {"download.png", "cancel.png"}).getValue();
     137                    tr("Download missing plugins"),
     138                    tr("Download the following plugins?\n\n{0}", msg),
     139                    new String[] {tr("Download Plugins"), tr("Cancel")},
     140                    new String[] {"download.png", "cancel.png"}).getValue();
    125141            Collection<PluginInformation> error =
    126             (answer != 1 ? toDownload : new PluginDownloader().download(toDownload));
    127             for (PluginInformation pd : error)
     142                (answer != 1 ? toDownload : new PluginDownloader().download(toDownload));
     143            for (PluginInformation pd : error) {
    128144                pluginMap.put(pd.name, false);
     145            }
    129146
    130147        }
    131148        LinkedList<String> plugins = new LinkedList<String>();
    132149        for (Map.Entry<String, Boolean> d : pluginMap.entrySet()) {
    133             if (d.getValue())
     150            if (d.getValue()) {
    134151                plugins.add(d.getKey());
     152            }
    135153        }
    136154
     
    144162        Collection<String> enabledPlugins = Main.pref.getCollection("plugins", null);
    145163
    146         if (pluginMap == null)
     164        if (pluginMap == null) {
    147165            pluginMap = new HashMap<String, Boolean>();
    148         else {
     166        } else {
    149167            // Keep the map in bounds; possibly slightly pointless.
    150168            Set<String> pluginsToRemove = new HashSet<String>();
    151169            for (final String pname : pluginMap.keySet()) {
    152                 if (availablePlugins.get(pname) == null) pluginsToRemove.add(pname);
     170                if (availablePlugins.get(pname) == null) {
     171                    pluginsToRemove.add(pname);
     172                }
    153173            }
    154174
     
    167187        for (final PluginInformation plugin : availablePlugins.values()) {
    168188            boolean enabled = (enabledPlugins != null) && enabledPlugins.contains(plugin.name);
    169             if (pluginMap.get(plugin.name) == null)
     189            if (pluginMap.get(plugin.name) == null) {
    170190                pluginMap.put(plugin.name, enabled);
     191            }
    171192
    172193            String remoteversion = plugin.version;
    173             if ((remoteversion == null) || remoteversion.equals(""))
     194            if ((remoteversion == null) || remoteversion.equals("")) {
    174195                remoteversion = tr("unknown");
    175             else if(plugin.oldmode)
     196            } else if(plugin.oldmode) {
    176197                remoteversion += "*";
     198            }
    177199
    178200            String localversion = "";
     
    180202            if(p != null)
    181203            {
    182                 if (p.version != null && !p.version.equals(""))
     204                if (p.version != null && !p.version.equals("")) {
    183205                    localversion = p.version;
    184                 else
     206                } else {
    185207                    localversion = tr("unknown");
     208                }
    186209                localversion = " (" + localversion + ")";
    187210            }
     
    245268                Arrays.sort(pluginFiles);
    246269                for (File f : pluginFiles) {
    247                     if (!f.isFile())
     270                    if (!f.isFile()) {
    248271                        continue;
     272                    }
    249273                    String fname = f.getName();
    250274                    if (fname.endsWith(".jar")) {
    251275                        try {
    252276                            PluginInformation info = new PluginInformation(f,fname.substring(0,fname.length()-4));
    253                             if (!availablePlugins.containsKey(info.name))
     277                            if (!availablePlugins.containsKey(info.name)) {
    254278                                availablePlugins.put(info.name, info);
    255                             if (!localPlugins.containsKey(info.name))
     279                            }
     280                            if (!localPlugins.containsKey(info.name)) {
    256281                                localPlugins.put(info.name, info);
     282                            }
    257283                        } catch (PluginException x) {
    258284                        }
     
    290316                                        {
    291317                                            PluginInformation info = new PluginInformation(
    292                                             new ByteArrayInputStream(manifest.getBytes("utf-8")),
    293                                             name.substring(0,name.length()-4), url);
    294                                             if(!availablePlugins.containsKey(info.name))
     318                                                    new ByteArrayInputStream(manifest.getBytes("utf-8")),
     319                                                    name.substring(0,name.length()-4), url);
     320                                            if(!availablePlugins.containsKey(info.name)) {
    295321                                                availablePlugins.put(info.name, info);
     322                                            }
    296323                                        }
    297324                                        catch (Exception e)
     
    310337                            {
    311338                                PluginInformation info = new PluginInformation(
    312                                 new ByteArrayInputStream(manifest.getBytes("utf-8")),
    313                                 name.substring(0,name.length()-4), url);
    314                                 if(!availablePlugins.containsKey(info.name))
     339                                        new ByteArrayInputStream(manifest.getBytes("utf-8")),
     340                                        name.substring(0,name.length()-4), url);
     341                                if(!availablePlugins.containsKey(info.name)) {
    315342                                    availablePlugins.put(info.name, info);
     343                                }
    316344                            }
    317345                            r.close();
     
    322350                        if(err > 0)
    323351                        {
    324                           JOptionPane.showMessageDialog(Main.parent, tr("Error reading plugin information file: {0}", f.getName()));
     352                            OptionPaneUtil.showMessageDialog(
     353                                    Main.parent,
     354                                    tr("Error reading plugin information file: {0}", f.getName()),
     355                                    tr("Error"),
     356                                    JOptionPane.ERROR_MESSAGE
     357                            );
    325358                        }
    326359                    }
     
    330363        for (PluginProxy proxy : PluginHandler.pluginList)
    331364        {
    332             if (!availablePlugins.containsKey(proxy.info.name))
     365            if (!availablePlugins.containsKey(proxy.info.name)) {
    333366                availablePlugins.put(proxy.info.name, proxy.info);
    334             if (!localPlugins.containsKey(proxy.info.name))
     367            }
     368            if (!localPlugins.containsKey(proxy.info.name)) {
    335369                localPlugins.put(proxy.info.name, proxy.info);
     370            }
    336371        }
    337372    }
Note: See TracChangeset for help on using the changeset viewer.