+
+ node = document.getElementById("historyanchor");
+ if (node) {
+ if (zoom >= 11) {
+ var args = new Object();
+ //set bbox param from 'extents' object
+ if (typeof minlon == "number" &&
+ typeof minlat == "number" &&
+ typeof maxlon == "number" &&
+ typeof maxlat == "number") {
+
+ minlon = Math.round(minlon * decimals) / decimals;
+ minlat = Math.round(minlat * decimals) / decimals;
+ maxlon = Math.round(maxlon * decimals) / decimals;
+ maxlat = Math.round(maxlat * decimals) / decimals;
+ args.bbox = minlon + "," + minlat + "," + maxlon + "," + maxlat;
+ }
+
+ node.href = setArgs("/history", args);
+ node.style.fontStyle = 'normal';
+ } else {
+ node.href = 'javascript:alert("zoom in to see editing history");';
+ node.style.fontStyle = 'italic';
+ }
+ }