From be26b89c3f6fdb5d11ce25271fd9c55619b7b188 Mon Sep 17 00:00:00 2001 From: Tom Hughes Date: Mon, 31 Dec 2007 09:08:30 +0000 Subject: [PATCH] Add a maplint layer to the map. Note that the t@h server currently serves solid grey tiles for tiles which are not in the database which limits the utility of this. Closes #484. --- public/javascripts/map.js | 3 +++ 1 file changed, 3 insertions(+) diff --git a/public/javascripts/map.js b/public/javascripts/map.js index 4a5cd844b..abbc7f8ea 100644 --- a/public/javascripts/map.js +++ b/public/javascripts/map.js @@ -15,6 +15,9 @@ function createMap(divName) { var osmarender = new OpenLayers.Layer.OSM.Osmarender("Osmarender", { displayOutsideMaxExtent: true }); map.addLayer(osmarender); + var maplint = new OpenLayers.Layer.OSM.Maplint("Maplint", { displayOutsideMaxExtent: true }); + map.addLayer(maplint); + var numZoomLevels = Math.max(mapnik.numZoomLevels, osmarender.numZoomLevels); markers = new OpenLayers.Layer.Markers("Markers", { displayInLayerSwitcher: false, numZoomLevels: numZoomLevels, -- 2.43.2