Changeset 13885 in josm

Timestamp:

2018-06-03T23:59:53+02:00 (7 years ago)

Author:

wiktorn

Message:

Add information about custom headers to Show tile info

File:

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

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

@@ -39 +39 @@
 import java.util.Objects;
 import java.util.Set;
+import java.util.TreeSet;
 import java.util.concurrent.ConcurrentSkipListSet;
 import java.util.concurrent.atomic.AtomicInteger;
@@ -460 +461 @@
                 content.add(Arrays.asList(tr("Tile name"), tile.getKey()));
                 content.add(Arrays.asList(tr("Tile URL"), url));
+                if (tile.getTileSource() instanceof TemplatedTileSource) {
+                    Map<String, String> headers = ((TemplatedTileSource) tile.getTileSource()).getHeaders();
+                    for(String key: new TreeSet<>(headers.keySet())) {
+                        // iterate over sorted keys
+                        content.add(Arrays.asList(tr("Custom header: {0}", key), headers.get(key)));
+                    }
+                }
                 content.add(Arrays.asList(tr("Tile size"),
                         getSizeString(tile.getTileSource().getTileSize())));