Changeset 8525 in josm for trunk/src/org/openstreetmap/josm/gui/SplashScreen.java

Timestamp:

2015-06-23T09:02:53+02:00 (11 years ago)

Author:

simon04

Message:

see #11591, see #11355 - Splash screen: attempt to fix lock issue (2)

File:

• trunk/src/org/openstreetmap/josm/gui/SplashScreen.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/SplashScreen.java

@@ -391 +391 @@
             lblTaskTitle.setText(LABEL_HTML + tasks);
             lblTaskTitle.setCaretPosition(lblTaskTitle.getDocument().getLength());
-            repaint();
         }
     }