2012-11-19 00:19:28 +08:00
|
|
|
<!DOCTYPE html>
|
|
|
|
|
<html>
|
|
|
|
|
<head>
|
|
|
|
|
<title>Leaflet debug page</title>
|
|
|
|
|
|
|
|
|
|
<link rel="stylesheet" href="../../dist/leaflet.css" />
|
|
|
|
|
|
|
|
|
|
<link rel="stylesheet" href="../css/screen.css" />
|
|
|
|
|
|
|
|
|
|
<script src="../leaflet-include.js"></script>
|
|
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
|
|
|
|
|
<div id="map"></div>
|
|
|
|
|
|
2017-02-04 23:17:51 +08:00
|
|
|
<script>
|
2012-11-19 11:36:13 +08:00
|
|
|
// Test that changing between layers with differing zoomlevels also updates
|
2013-03-22 22:27:07 +08:00
|
|
|
// the zoomlevels in the map + also
|
2012-11-19 00:19:28 +08:00
|
|
|
|
2012-11-19 05:07:27 +08:00
|
|
|
var map = L.map('map').setView(L.latLng(50.5, 30.51), 0);
|
2012-11-19 00:19:28 +08:00
|
|
|
|
2014-03-04 23:54:41 +08:00
|
|
|
var osmAttrib = '© <a href="http://openstreetmap.org/copyright">OpenStreetMap</a> contributors',
|
|
|
|
|
osm = L.tileLayer("http://{s}.tile.openstreetmap.org/{z}/{x}/{y}.png", {attribution: osmAttrib, minZoom: 0, maxZoom: 10}).addTo(map),
|
|
|
|
|
osm2 = L.tileLayer("http://{s}.tile.openstreetmap.org/{z}/{x}/{y}.png", {attribution: 'Hello world', minZoom: 5, maxZoom: 18});
|
2013-03-22 22:27:07 +08:00
|
|
|
|
2012-11-19 00:19:28 +08:00
|
|
|
L.control.layers({
|
2014-03-04 23:54:41 +08:00
|
|
|
'OSM (5-18)': osm2,
|
|
|
|
|
'OSM (0-10)': osm
|
2012-11-19 00:19:28 +08:00
|
|
|
}).addTo(map);
|
2012-11-19 05:07:27 +08:00
|
|
|
|
2012-11-19 00:19:28 +08:00
|
|
|
L.control.scale().addTo(map);
|
|
|
|
|
|
2017-03-28 14:40:48 +08:00
|
|
|
function getRandomLatLng(llbounds) {
|
|
|
|
|
var s = llbounds.getSouth(),
|
|
|
|
|
n = llbounds.getNorth(),
|
|
|
|
|
w = llbounds.getWest(),
|
|
|
|
|
e = llbounds.getEast();
|
|
|
|
|
|
|
|
|
|
return L.latLng(
|
|
|
|
|
s + (Math.random() * (n - s)),
|
|
|
|
|
w + (Math.random() * (e - w))
|
|
|
|
|
)
|
|
|
|
|
}
|
|
|
|
|
|
2012-11-19 05:07:27 +08:00
|
|
|
for (var i = 0; i < 1000; i++) {
|
2017-03-28 14:40:48 +08:00
|
|
|
L.marker(getRandomLatLng(map.getBounds())).addTo(map);
|
2012-11-19 05:07:27 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2012-11-19 00:19:28 +08:00
|
|
|
</script>
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
