Index: trunk/src/org/openstreetmap/josm/gui/SplashScreen.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/SplashScreen.java (revision 8498)
+++ trunk/src/org/openstreetmap/josm/gui/SplashScreen.java (revision 8499)
@@ -118,8 +118,6 @@
@Override
public void stateChanged(ChangeEvent ignore) {
- progressRenderer.setTasks(""
- + ""
- + ""
- + progressMonitor.toString());
+ progressRenderer.setTasks(progressMonitor.toString());
+ pack();
}
@@ -330,4 +328,7 @@
private JLabel lblTaskTitle;
private JProgressBar progressBar;
+ private static final String labelHtml = ""
+ + ""
+ + "";
protected void build() {
@@ -340,5 +341,5 @@
gc.weighty = 0.0;
gc.insets = new Insets(5,0,0,0);
- add(lblTaskTitle = new JLabel(" "), gc);
+ add(lblTaskTitle = new JLabel(labelHtml), gc);
gc.gridy = 1;
@@ -362,5 +363,5 @@
public void setTasks(String tasks) {
- lblTaskTitle.setText(tasks);
+ lblTaskTitle.setText(labelHtml + tasks);
repaint();
}