blob: 449cc0fbcb72768eb2cfd1c48f413e50b8dde350 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
/* base function shared by some pages */
/* Copyright (C) 2009-2010 Étienne Loks <etienne.loks_AT_peacefrogsDOTnet>
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as
published by the Free Software Foundation, either version 3 of the
License, or (at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see <http://www.gnu.org/licenses/>.
See the file COPYING for details.
*/
var default_area;
var area_name;
/* show a block panel */
function show(id){
document.getElementById(id).style.display = 'block';
}
/* hide a panel */
function hide(id){
document.getElementById(id).style.display = 'None';
}
function saveExtent() {
/* save the current extent in a cookie */
if(!map) return;
var extent_key = 'MAP_EXTENT';
if (area_name){ extent_key = extent_key + '_' + area_name; }
document.cookie = extent_key + "=" + map.getExtent().toArray().join('_')
+ ';path="/"';
}
function getExtent() {
/* get the current extent from a cookie */
var cookies = document.cookie.split(';');
var map_extent;
var extent_key = 'MAP_EXTENT';
if (area_name){ extent_key = extent_key + '_' + area_name; }
for (i in cookies){
var items = cookies[i].split('=');
key = items[0].split(' ').join('');
if (key == extent_key){
map_extent = items[1].split('_');
}
}
return map_extent;
}
function zoomToCurrentExtent(map){
/* zoom to current extent */
var current_extent = getExtent();
var extent;
if (OpenLayers && current_extent && current_extent.length == 4){
extent = new OpenLayers.Bounds(current_extent[0], current_extent[1],
current_extent[2], current_extent[3]);
}
else if (OpenLayers && default_area && default_area.length == 4){
extent = new OpenLayers.Bounds(default_area[1], default_area[0],
default_area[3], default_area[2]);
}
else{
return;
}
map.zoomToExtent(extent, true);
return true;
}
|
