app/views/site/index.rhtml

   1 <div id="geocoder">
   2   <form action="/search.html">
   3     <input type="text" name="query" value="" size="60">
   4     <input type="submit" value="Search">
   5   </form>
   6 </div>
   7
   8
   9
  10 <% lon =  params['lon'] || '-0.1' %>
  11 <% lat =  params['lat'] || '51.5' %>
  12 <% zoom =  params['zoom'] || '4' %>
  13
  14 <script type="text/javascript">
  15   var lon = <%= lon %>;
  16   var lat = <%= lat %>;
  17   var zoom = <%= zoom %>;
  18   var PI = 3.14159265358979323846;
  19
  20   <% if params['scale'] and params['scale'].length > 0 then %>
  21   zoom = Math.log(360.0/(( <% print params['scale'].to_f() %> ) * 512.0)) / Math.log(2.0);
  22   <% end %>
  23   zoom = zoom;
  24   lon = lon * 20037508.34 / 180;
  25   lat = Math.log(Math.tan( (90 + lat) * PI / 360)) / (PI / 180);
  26   lat = lat * 20037508.34 / 180;
  27
  28 </script>
  29 <script type="text/javascript" src="/javascripts/OpenLayers.js"></script>
  30
  31 <script type="text/javascript">
  32   <!--
  33   var map, layer;
  34
  35
  36   function init(){
  37
  38     OpenLayers.Util.onImageLoadError = function() {
  39       this.src = "http://<%= SERVER_URL %>/javascript/img/404.png";
  40     }
  41     map = new OpenLayers.Map( "map",
  42         {maxExtent: new OpenLayers.Bounds(-20037508.34,-20037508.34,20037508.34,20037508.34), maxZoomLevel:18, maxResolution:156543, units:'meters', projection: "EPSG:41001"} );
  43     layer = new OpenLayers.Layer.LikeGoogle( "Mapnik", "http://tile.openstreetmap.org/", {type:'png'} );
  44     map.addLayer(layer);
  45     layer = new OpenLayers.Layer.LikeGoogle( "Osmarender", "http://dev.openstreetmap.org/~ojw/Tiles/tile.php/", {type:'png'} );
  46     map.addLayer(layer);
  47
  48     map.addControl(new OpenLayers.Control.LayerSwitcher());
  49     map.setCenter(new OpenLayers.LonLat(lon, lat), zoom);
  50
  51     map.events.register("moveend", map, function() {
  52         var lonlat = map.getCenter();
  53
  54         var lon_deg = (lonlat.lon / 20037508.34) * 180;
  55         var lat_deg = (lonlat.lat / 20037508.34) * 180;
  56         var PI = 3.14159265358979323846;
  57         lat_deg = 180/PI * (2 * Math.atan(Math.exp(lat_deg * PI / 180)) - PI / 2);
  58         var zoom = map.getZoom();
  59         updatelinks(lon_deg,lat_deg,zoom);
  60         });
  61   }
  62
  63 init();
  64 // -->
  65 </script>