1 function updatelinks(lon,lat,zoom) {
2 var links = new Array();
3 links['viewanchor'] = '/index.html';
4 //links['editanchor'] = 'edit.html';
5 links['uploadanchor'] = '/traces';
6 links['loginanchor'] = '/login.html';
7 links['logoutanchor'] = '/logout.html';
8 links['registeranchor'] = '/create-account.html';
12 for (anchor in links) {
13 node = document.getElementById(anchor);
14 if (! node) { continue; }
15 node.href = links[anchor] + "?lat=" + lat + "&lon=" + lon + "&zoom=" + zoom;
18 node = document.getElementById("editanchor");
21 node.href = '/edit.html?lat=' + lat + '&lon=' + lon + "&zoom=" + zoom;
22 node.style.fontStyle = 'normal';
24 node.href = 'javascript:alert("zoom in to edit map");';
25 node.style.fontStyle = 'italic';