public/javascripts/site.js

   1 function updatelinks(lon,lat,zoom,layers) {
   2   var decimals = Math.pow(10, Math.floor(zoom/3));
   3   var node;
   4
   5   lat = Math.round(lat * decimals) / decimals;
   6   lon = Math.round(lon * decimals) / decimals;
   7
   8   node = document.getElementById("permalinkanchor");
   9   if (node) {
  10     var args = getArgs(node.href);
  11     args["lat"] = lat;
  12     args["lon"] = lon;
  13     args["zoom"] = zoom;
  14     args["layers"] = layers;
  15     node.href = setArgs(node.href, args);
  16   }
  17
  18   node = document.getElementById("viewanchor");
  19   if (node) {
  20     var args = getArgs(node.href);
  21     args["lat"] = lat;
  22     args["lon"] = lon;
  23     args["zoom"] = zoom;
  24     args["layers"] = layers;
  25     node.href = setArgs(node.href, args);
  26   }
  27
  28   node = document.getElementById("editanchor");
  29   if (node) {
  30     if (zoom >= 11) {
  31       var args = new Object();
  32       args.lat = lat;
  33       args.lon = lon;
  34       args.zoom = zoom;
  35       node.href = setArgs("/edit.html", args);
  36       node.style.fontStyle = 'normal';
  37     } else {
  38       node.href = 'javascript:alert("zoom in to edit map");';
  39       node.style.fontStyle = 'italic';
  40     }
  41   }
  42 }
  43
  44 function getArgs(url) {
  45   var args = new Object();
  46   var querystart = url.indexOf("?");
  47
  48   if (querystart >= 0) {
  49      var querystring = url.substring(querystart + 1);
  50      var queryitems = querystring.split("&");
  51
  52      for (var i = 0; i < queryitems.length; i++) {
  53         if (match = queryitems[i].match(/^(.*)=(.*)$/)) {
  54            args[unescape(match[1])] = unescape(match[2]);
  55         } else {
  56            args[unescape(queryitems[i])] = null
  57         }
  58      }
  59   }
  60
  61   return args;
  62 }
  63
  64 function setArgs(url, args) {
  65    var queryitems = new Array();
  66
  67    for (arg in args)
  68    {
  69       if (args[arg] == null) {
  70          queryitems.push(escape(arg));
  71       } else {
  72          queryitems.push(escape(arg) + "=" + escape(args[arg]));
  73       }
  74    }
  75
  76    return url.replace(/\?.*$/, "") + "?" + queryitems.join("&");
  77 }
  78
  79 function getStyle(el, property) {
  80   var style;
  81
  82   if (el.currentStyle) {
  83     style = el.currentStyle[property];
  84   } else if( window.getComputedStyle ) {
  85     style = document.defaultView.getComputedStyle(el,null).getPropertyValue(property);
  86   } else {
  87     style = el.style[property];
  88   }
  89
  90   return style;
  91 }