Changeset 1811 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2009-07-19T17:38:55+02:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginDownloader.java
r1791 r1811 49 49 50 50 @Override protected void finish() { 51 Main.pleaseWaitDlg.setVisible(false);52 51 if (errors.length() > 0) 53 52 JOptionPane.showMessageDialog(Main.parent, tr("There were problems with the following plugins:\n\n {0}",errors)); … … 60 59 if (!pluginDir.exists()) 61 60 pluginDir.mkdirs(); 62 Main.pleaseWaitDlg.progress.setMaximum(toUpdate.size()); 63 int progressValue = 0; 61 progressMonitor.setTicksCount(toUpdate.size()); 64 62 for (PluginInformation d : toUpdate) { 65 Main.pleaseWaitDlg.progress.setValue(progressValue++);66 Main.pleaseWaitDlg.currentAction.setText(tr("Downloading Plugin {0}...", d.name));63 progressMonitor.subTask(tr("Downloading Plugin {0}...", d.name)); 64 progressMonitor.worked(1); 67 65 File pluginFile = new File(pluginDir, d.name + ".jar.new"); 68 66 if(download(d, pluginFile))
Note:
See TracChangeset
for help on using the changeset viewer.