Changeset 541 in josm for trunk/src/org/openstreetmap/josm/gui/layer/markerlayer

Timestamp:

2008-02-15T19:29:28+01:00 (16 years ago)

Author:

framm

Message:

• use waypoint's "desc" attribute in lieu of "name" if "name" is not present
• add extra marker for trackpoints that have "name" or "desc" set

patch by David Earl <david@…>

File:

• trunk/src/org/openstreetmap/josm/gui/layer/markerlayer/Marker.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/layer/markerlayer/Marker.java

@@ -1 @@
-// License: GPL. Copyright 2007 by Immanuel Scholz and others
+// License: GPL. Copyright 2008 by Immanuel Scholz and others
 package org.openstreetmap.josm.gui.layer.markerlayer;
 
@@ -87 +87 @@
 
                                 // Try a relative file:// url, if the link is not in an URL-compatible form
-                                if (relativePath != null && uri != null && !isWellFormedAddress(uri))
-                                        uri = new File(relativePath, uri).toURI().toString();
+                if (relativePath != null && uri != null && !isWellFormedAddress(uri))
+                    uri = new File(relativePath, uri).toURI().toString();
 
-                                if (uri == null)
-                                        return new Marker(wpt.latlon, wpt.getString("name"), wpt.getString("symbol"));
-                                if (uri.endsWith(".wav"))
-                                        return AudioMarker.create(wpt.latlon, uri);
-                                else if (uri.endsWith(".png") || uri.endsWith(".jpg") || uri.endsWith(".jpeg") || uri.endsWith(".gif"))
+                if (uri == null) {
+                    String name_desc = "";
+                    if (wpt.attr.containsKey("name")) {
+                        name_desc = wpt.getString("name");
+                    } else if (wpt.attr.containsKey("desc")) {
+                        name_desc = wpt.getString("desc");
+                    }
+                    return new Marker(wpt.latlon, name_desc, wpt.getString("symbol"));
+                }
+
+                if (uri.endsWith(".wav"))
+                    return AudioMarker.create(wpt.latlon, uri);
+                else if (uri.endsWith(".png") || uri.endsWith(".jpg") || uri.endsWith(".jpeg") || uri.endsWith(".gif"))
                                         return ImageMarker.create(wpt.latlon, uri);
                                 else