From 2b35dadd5f5039d44810c722d3e0dbc5557862c1 Mon Sep 17 00:00:00 2001 From: Tom Hughes Date: Wed, 16 Apr 2008 08:04:44 +0000 Subject: [PATCH] Add a scale control to the map. Closes #51. --- public/javascripts/map.js | 18 ++++++++++-------- 1 file changed, 10 insertions(+), 8 deletions(-) diff --git a/public/javascripts/map.js b/public/javascripts/map.js index 23763714c..4a23d8590 100644 --- a/public/javascripts/map.js +++ b/public/javascripts/map.js @@ -5,19 +5,21 @@ var popup; OpenLayers._getScriptLocation = function () { return "/openlayers/"; } - + function createMap(divName) { map = new OpenLayers.Map(divName, { controls: [ - new OpenLayers.Control.ArgParser(), + new OpenLayers.Control.ArgParser(), new OpenLayers.Control.Attribution(), new OpenLayers.Control.LayerSwitcher(), - new OpenLayers.Control.Navigation(), - new OpenLayers.Control.PanZoomBar() - ] + new OpenLayers.Control.Navigation(), + new OpenLayers.Control.PanZoomBar(), + new OpenLayers.Control.ScaleLine() + ], + units: "m" }); - var mapnik = new OpenLayers.Layer.OSM.Mapnik("Mapnik", { + var mapnik = new OpenLayers.Layer.OSM.Mapnik("Mapnik", { displayOutsideMaxExtent: true, wrapDateLine: true }); @@ -29,14 +31,14 @@ function createMap(divName) { }); map.addLayer(osmarender); - var maplint = new OpenLayers.Layer.OSM.Maplint("Maplint", { + var maplint = new OpenLayers.Layer.OSM.Maplint("Maplint", { displayOutsideMaxExtent: true, wrapDateLine: true }); map.addLayer(maplint); var numZoomLevels = Math.max(mapnik.numZoomLevels, osmarender.numZoomLevels); - markers = new OpenLayers.Layer.Markers("Markers", { + markers = new OpenLayers.Layer.Markers("Markers", { displayInLayerSwitcher: false, numZoomLevels: numZoomLevels, maxExtent: new OpenLayers.Bounds(-20037508,-20037508,20037508,20037508), -- 2.39.5