Index: trunk/src/org/openstreetmap/josm/gui/SplashScreen.java =================================================================== --- trunk/src/org/openstreetmap/josm/gui/SplashScreen.java (revision 8518) +++ trunk/src/org/openstreetmap/josm/gui/SplashScreen.java (revision 8520) @@ -123,10 +123,10 @@ @Override public void stateChanged(ChangeEvent ignore) { - GuiHelper.runInEDT(new Runnable() { + /*GuiHelper.runInEDT(new Runnable() { @Override public void run() { progressRenderer.setTasks(progressMonitor.toString()); } - }); + });*/ } @@ -266,9 +266,14 @@ @Deprecated public void finishTask() { - } - + // Not used + } + + /** + * Displays the given task as finished. + * @param title the task title + */ public void finishTask(String title) { final Task task = Utils.find(tasks, Predicates.equalTo(new MeasurableTask(title))); - if (task != null && task instanceof MeasurableTask) { + if (task instanceof MeasurableTask) { ((MeasurableTask) task).finish(); Main.debug(tr("{0} completed in {1}", title, ((MeasurableTask) task).duration)); @@ -279,8 +284,10 @@ @Override public void invalidate() { + // Not used } @Override public void setTicksCount(int ticks) { + // Not used } @@ -301,4 +308,5 @@ @Override public void worked(int ticks) { + // Not used } @@ -310,20 +318,25 @@ @Override public void cancel() { + // Not used } @Override public void addCancelListener(CancelListener listener) { + // Not used } @Override public void removeCancelListener(CancelListener listener) { + // Not used } @Override public void appendLogMessage(String message) { + // Not used } @Override public void setProgressTaskId(ProgressTaskId taskId) { + // Not used } @@ -350,5 +363,5 @@ private final JosmEditorPane lblTaskTitle = new JosmEditorPane(); private final JProgressBar progressBar = new JProgressBar(JProgressBar.HORIZONTAL); - private static final String labelHtml = "" + private static final String LABEL_HTML = "" + ""; @@ -357,5 +370,5 @@ JosmEditorPane.makeJLabelLike(lblTaskTitle, false); - lblTaskTitle.setText(labelHtml); + lblTaskTitle.setText(LABEL_HTML); final JScrollPane scrollPane = new JScrollPane(lblTaskTitle, ScrollPaneConstants.VERTICAL_SCROLLBAR_AS_NEEDED, ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER); @@ -368,4 +381,7 @@ } + /** + * Constructs a new {@code SplashScreenProgressRenderer}. + */ public SplashScreenProgressRenderer() { build(); @@ -374,5 +390,5 @@ public void setTasks(String tasks) { synchronized (lblTaskTitle) { - lblTaskTitle.setText(labelHtml + tasks); + lblTaskTitle.setText(LABEL_HTML + tasks); lblTaskTitle.setCaretPosition(lblTaskTitle.getDocument().getLength()); }