Changeset 4043 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2011-04-20T15:14:02+02:00 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r4028 r4043 27 27 import java.util.List; 28 28 import java.util.Map; 29 import java.util.Map.Entry; 29 30 import java.util.Set; 30 import java.util.Map.Entry;31 31 import java.util.TreeSet; 32 32 import java.util.concurrent.ExecutionException; … … 50 50 import org.openstreetmap.josm.data.Version; 51 51 import org.openstreetmap.josm.gui.HelpAwareOptionPane; 52 import org.openstreetmap.josm.gui.HelpAwareOptionPane.ButtonSpec; 52 53 import org.openstreetmap.josm.gui.JMultilineLabel; 53 54 import org.openstreetmap.josm.gui.MapFrame; 54 import org.openstreetmap.josm.gui.HelpAwareOptionPane.ButtonSpec;55 55 import org.openstreetmap.josm.gui.download.DownloadSelection; 56 56 import org.openstreetmap.josm.gui.help.HelpUtil; … … 477 477 if (e.getCause() instanceof ClassNotFoundException) { 478 478 msg = tr("<html>Could not load plugin {0} because the plugin<br>main class ''{1}'' was not found.<br>" 479 + "Delete from preferences?", plugin.name, plugin.className); 479 + "Delete from preferences?</html>", plugin.name, plugin.className); 480 480 } 481 481 } catch (Throwable e) { 482 482 e.printStackTrace(); 483 483 } 484 if(msg != null && confirmDisablePlugin(parent, msg, plugin.name)) 484 if(msg != null && confirmDisablePlugin(parent, msg, plugin.name)) { 485 485 Main.pref.removeFromCollection("plugins", plugin.name); 486 } 486 487 } 487 488 … … 707 708 */ 708 709 public static List<PluginInformation> updatePlugins(Window parent, 709 List<PluginInformation> plugins, ProgressMonitor monitor) 710 throws IllegalArgumentException{ 710 List<PluginInformation> plugins, ProgressMonitor monitor) 711 throws IllegalArgumentException{ 711 712 CheckParameterUtil.ensureParameterNotNull(plugins, "plugins"); 712 713 if (monitor == null) { … … 1001 1002 pl.remove(pi.name); 1002 1003 pl.add(pi.name + " (" + (pi.localversion != null && !pi.localversion.equals("") 1003 ? pi.localversion : "unknown") + ")"); 1004 ? pi.localversion : "unknown") + ")"); 1004 1005 } 1005 1006 Collections.sort(pl); 1006 for (String s : pl) 1007 for (String s : pl) { 1007 1008 text += "Plugin: " + s + "\n"; 1009 } 1008 1010 return text; 1009 1011 }
Note:
See TracChangeset
for help on using the changeset viewer.