Changeset 8443 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2015-06-02T16:40:38+02:00 (8 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/plugins
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginDownloadTask.java
r8394 r8443 111 111 ); 112 112 dialog.setContent(tr("JOSM version {0} required for plugin {1}.", pi.mainversion, pi.name)); 113 dialog.setButtonIcons(new String[] { "download", "cancel"});113 dialog.setButtonIcons(new String[] {"download", "cancel"}); 114 114 dialog.showDialog(); 115 115 int answer = dialog.getValue(); -
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r8404 r8443 208 208 * List of unmaintained plugins. Not really up-to-date as the vast majority of plugins are not maintained after a few months, sadly... 209 209 */ 210 private static final String 210 private static final String[] UNMAINTAINED_PLUGINS = new String[] {"gpsbabelgui", "Intersect_way"}; 211 211 212 212 /** … … 360 360 if (message == null) return false; 361 361 362 ButtonSpec 362 ButtonSpec[] options = new ButtonSpec[] { 363 363 new ButtonSpec( 364 364 tr("Update plugins"), … … 984 984 // notify user if downloading a locally installed plugin failed 985 985 // 986 if (! 986 if (!pluginDownloadTask.getFailedPlugins().isEmpty()) { 987 987 alertFailedPluginUpdate(parent, pluginDownloadTask.getFailedPlugins()); 988 988 return plugins; … … 1010 1010 */ 1011 1011 public static boolean confirmDisablePlugin(Component parent, String reason, String name) { 1012 ButtonSpec 1012 ButtonSpec[] options = new ButtonSpec[] { 1013 1013 new ButtonSpec( 1014 1014 tr("Disable plugin"), … … 1075 1075 public static void installDownloadedPlugins(boolean dowarn) { 1076 1076 File pluginDir = Main.pref.getPluginsDirectory(); 1077 if (! pluginDir.exists() || ! pluginDir.isDirectory() || !pluginDir.canWrite())1077 if (!pluginDir.exists() || !pluginDir.isDirectory() || !pluginDir.canWrite()) 1078 1078 return; 1079 1079 … … 1276 1276 ); 1277 1277 final PluginInformation pluginInfo = plugin.getPluginInformation(); 1278 if (! 1278 if (!plugins.contains(pluginInfo.name)) 1279 1279 // plugin not activated ? strange in this context but anyway, don't bother 1280 1280 // the user with dialogs, skip conditional deactivation -
trunk/src/org/openstreetmap/josm/plugins/ReadRemotePluginInformationTask.java
r8390 r8443 317 317 List<File> siteCacheFiles = new LinkedList<>(); 318 318 for (String location : PluginInformation.getPluginLocations()) { 319 File 319 File[] f = new File(location).listFiles( 320 320 new FilenameFilter() { 321 321 @Override
Note: See TracChangeset
for help on using the changeset viewer.