-<html>
- <head>
- <title>OpenStreetMap Nominatim: <?php echo $aPointDetails['localname'];?></title>
- <style>
-body {
- margin:0px;
- padding:16px;
- background:#ffffff;
- height: 100%;
- font: normal 12px/15px arial,sans-serif;
-}
-.line{
- margin-left:20px;
-}
-.name{
- font-weight: bold;
-}
-.notused{
- color:#ddd;
-}
-.noname{
- color:#800;
-}
-#map {
- width:500px;
- height:500px;
- border: 2px solid #666;
- float: right;
-}
- </style>
- <script src="js/OpenLayers.js"></script>
- <script src="js/tiles.js"></script>
- <script type="text/javascript">
-
- var map;
-
- function init() {
- map = new OpenLayers.Map ("map", {
- controls:[
- new OpenLayers.Control.Permalink(),
- new OpenLayers.Control.Navigation(),
- new OpenLayers.Control.PanZoomBar(),
- new OpenLayers.Control.MouseDefaults(),
- new OpenLayers.Control.MousePosition(),
- new OpenLayers.Control.Attribution()],
- maxExtent: new OpenLayers.Bounds(-20037508.34,-20037508.34,20037508.34,20037508.34),
- maxResolution: 156543.0399,
- numZoomLevels: 19,
- units: 'm',
- projection: new OpenLayers.Projection("EPSG:900913"),
- displayProjection: new OpenLayers.Projection("EPSG:4326")
- } );
- map.addLayer(new OpenLayers.Layer.OSM.<?php echo CONST_Tile_Default;?>("Default",
- { attribution : '© <a target="_parent" href="http://www.openstreetmap.org">OpenStreetMap</a> and contributors, under an <a target="_parent" href="http://www.openstreetmap.org/copyright">open license</a>'}));
-
- var layer_style = OpenLayers.Util.extend({}, OpenLayers.Feature.Vector.style['default']);
- layer_style.fillOpacity = 0.2;
- layer_style.graphicOpacity = 0.2;
-
- vectorLayer = new OpenLayers.Layer.Vector("Points", {style: layer_style});
- map.addLayer(vectorLayer);
-
- var proj_EPSG4326 = new OpenLayers.Projection("EPSG:4326");
- var proj_map = map.getProjectionObject();
-
- freader = new OpenLayers.Format.WKT({
- 'internalProjection': proj_map,
- 'externalProjection': proj_EPSG4326
- });
-
- var feature = freader.read('<?php echo $aPointDetails['outlinestring'];?>');
- if (feature) {
- map.zoomToExtent(feature.geometry.getBounds());
-
- feature.style = {
- strokeColor: "#75ADFF",
- fillColor: "#F0F7FF",
- strokeWidth: <?php echo ($aPointDetails['isarea']=='t'?'2':'5');?>,
- strokeOpacity: 0.75,
- fillOpacity: 0.75,
- pointRadius: 100
- };
- vectorLayer.addFeatures([feature]);
- }
- }
- </script>
- </head>
- <body onload="init();">
- <div id="map"></div>