Changeset 2867 in josm for trunk/src/org/openstreetmap/josm/gui

Timestamp:

2010-01-16T19:51:23+01:00 (14 years ago)

Author:

jttt

Message:

Better gpx layer tooltip, don't add gpx layer if gpx file is empty

File:

• trunk/src/org/openstreetmap/josm/gui/layer/GpxLayer.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/gui/layer/GpxLayer.java

@@ -26 +26 @@
 import java.util.Collections;
 import java.util.Comparator;
-import java.util.Date;
 import java.util.LinkedList;
 import java.util.List;
@@ -375 +374 @@
 
         if (data.tracks.size() > 0) {
-            info.append("<table><thead align=\"center\"><tr><td colspan=\"5\">"
+            info.append("<table><thead align='center'><tr><td colspan='5'>"
                     + trn("{0} track", "{0} tracks", data.tracks.size(), data.tracks.size())
-                    + "</td></tr><tr><td>" + tr("Name") + "</td><td>"
+                    + "</td></tr><tr align='center'><td>" + tr("Name") + "</td><td>"
                     + tr("Description") + "</td><td>" + tr("Timespan")
                     + "</td><td>" + tr("Length") + "</td><td>" + tr("URL")
@@ -410 +409 @@
 
                 if (earliest != null && latest != null) {
-                    DateFormat df = DateFormat.getDateTimeInstance(DateFormat.MEDIUM, DateFormat.SHORT);
-                    info.append(df.format(new Date((long) (earliest.time * 1000))) + " - "
-                            + df.format(new Date((long) (latest.time * 1000))));
+                    DateFormat df = DateFormat.getDateInstance(DateFormat.SHORT);
+                    String earliestDate = df.format(earliest.getTime());
+                    String latestDate = df.format(latest.getTime());
+
+                    if (earliestDate.equals(latestDate)) {
+                        DateFormat tf = DateFormat.getTimeInstance(DateFormat.SHORT);
+                        info.append(earliestDate).append(" ");
+                        info.append(tf.format(earliest.getTime())).append(" - ").append(tf.format(latest.getTime()));
+                    } else {
+                        DateFormat dtf = DateFormat.getDateTimeInstance(DateFormat.SHORT, DateFormat.SHORT);
+                        info.append(dtf.format(earliest.getTime())).append(" - ").append(dtf.format(latest.getTime()));
+                    }
+
                     int diff = (int) (latest.time - earliest.time);
                     info.append(" (" + (diff / 3600) + ":" + ((diff % 3600) / 60) + ")");