Changeset 7143 in josm

Timestamp:

2014-05-19T17:01:53+02:00 (10 years ago)

Author:

simon04

Message:

Log initialization time per mappaint style

Location:

trunk/src/org/openstreetmap/josm/gui

Files:

• SplashScreen.java (modified) (3 diffs)
• mappaint/MapPaintStyles.java (modified) (1 diff)

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

@@ -29 +29 @@
 import org.openstreetmap.josm.gui.util.GuiHelper;
 import org.openstreetmap.josm.tools.ImageProvider;
+import org.openstreetmap.josm.tools.Utils;
 import org.openstreetmap.josm.tools.WindowGeometry;
 
@@ -37 +38 @@
 public class SplashScreen extends JFrame {
 
-    private SwingRenderingProgressMonitor progressMonitor;
+    private final SwingRenderingProgressMonitor progressMonitor;
 
     /**
@@ -198 +199 @@
             if (!prevMessageTitle.isEmpty()) {
                 messages.removeLast();
-                messages.add(tr("{0} ({1} ms)", prevMessageTitle, Long.toString(now - time)));
+                messages.add(tr("{0} ({1})", prevMessageTitle, Utils.getDurationString(now - time)));
             }
             time = now;

trunk/src/org/openstreetmap/josm/gui/mappaint/MapPaintStyles.java

@@ -206 +206 @@
         }
         for (StyleSource source : styles.getStyleSources()) {
+            final long startTime = System.currentTimeMillis();
             source.loadStyleSource();
             if (Main.pref.getBoolean("mappaint.auto_reload_local_styles", true) && source.isLocal()) {
                 File f = new File(source.url);
                 source.setLastMTime(f.lastModified());
+            }
+            if (Main.isDebugEnabled()) {
+                final long elapsedTime = System.currentTimeMillis() - startTime;
+                Main.debug("Initializing map style " + source.url + " completed in " + Utils.getDurationString(elapsedTime));
             }
         }