Fix formatting

This commit is contained in:
Markus Koch 2020-04-17 16:14:57 +02:00
parent 1e3c22c159
commit 7b65ef6ee4
2 changed files with 127 additions and 128 deletions

View File

@ -1,36 +1,33 @@
<!DOCTYPE html> <!DOCTYPE html>
<html> <html>
<head> <head>
<title>LinuxWorks Minetest Map (unofficial)</title>
<title>LinuxWorks Minetest Map (unofficial)</title> <meta charset="utf-8"/>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<meta charset="utf-8" /> <link rel="stylesheet" href="fa/css/all.css">
<meta name="viewport" content="width=device-width, initial-scale=1.0"> <link rel="stylesheet" href="awesomemarkers/leaflet.awesome-markers.css">
<link rel="stylesheet" href="https://unpkg.com/leaflet@1.6.0/dist/leaflet.css" integrity="sha512-xwE/Az9zrjBIphAcBb3F6JVqxf46+CDLwfLMHloNu6KEQCAWi6HcDUbeOfBIptF7tcCzusKFjFw2yuvEpDL9wQ==" crossorigin=""/>
<link rel="stylesheet" href="fa/css/all.css" > <script src="https://unpkg.com/leaflet@1.6.0/dist/leaflet.js" integrity="sha512-gZwIG9x3wUXg2hdXF6+rVkLF/0Vi9U8D2Ntg4Ga5I5BZpVkVxlJWbSQtXPSiUTtC0TjtGOmxa1AJPuV0CPthew==" crossorigin=""></script>
<link rel="stylesheet" href="awesomemarkers/leaflet.awesome-markers.css"> <script src="awesomemarkers/leaflet.awesome-markers.js"></script>
<link rel="stylesheet" href="https://unpkg.com/leaflet@1.6.0/dist/leaflet.css" integrity="sha512-xwE/Az9zrjBIphAcBb3F6JVqxf46+CDLwfLMHloNu6KEQCAWi6HcDUbeOfBIptF7tcCzusKFjFw2yuvEpDL9wQ==" crossorigin=""/> </head>
<script src="https://unpkg.com/leaflet@1.6.0/dist/leaflet.js" integrity="sha512-gZwIG9x3wUXg2hdXF6+rVkLF/0Vi9U8D2Ntg4Ga5I5BZpVkVxlJWbSQtXPSiUTtC0TjtGOmxa1AJPuV0CPthew==" crossorigin=""></script>
<script src="awesomemarkers/leaflet.awesome-markers.js"></script>
</head>
<body style="position: absolute; padding: 0px; margin: 0px; width:100%; height:100%;"> <body style="position: absolute; padding: 0px; margin: 0px; width:100%; height:100%;">
<div id="mapid" style="width: 100%; height: 100%;"></div> <div id="mapid" style="width: 100%; height: 100%;"></div>
<style> <style>
.leaflet-tooltip.city-names { .leaflet-tooltip.city-names {
background-color: transparent; background-color: transparent;
border: transparent; border: transparent;
box-shadow: none; box-shadow: none;
font-weight: bold;
font-size: 14pt;
opacity: 1.0;
color: white;
text-shadow: 0px 0px 5px black;
}
font-weight: bold; a.new {
font-size: 14pt; color: red;
opacity:1.0; }
color: white; </style>
text-shadow: 0px 0px 5px black; <script src="mapscript.js"></script>
}
a.new {
color: red;
}
</style>
<script src="mapscript.js"> </script>
</body> </body>
</html> </html>

View File

@ -1,123 +1,128 @@
// Projection fix from: https://gis.stackexchange.com/questions/200865/leaflet-crs-simple-custom-scale // Projection fix from: https://gis.stackexchange.com/questions/200865/leaflet-crs-simple-custom-scale
var factorx = 1/256 * 4; var factorx = 1 / 256 * 4;
var factory = factorx; var factory = factorx;
var originx = 7000; var originx = 7000;
var originy = 7000; var originy = 7000;
var zoom_level_real = 6; var zoom_level_real = 6;
L.CRS.pr = L.extend({}, L.CRS.Simple, { L.CRS.pr = L.extend({}, L.CRS.Simple, {
projection: L.Projection.LonLat, projection: L.Projection.LonLat,
transformation: new L.Transformation(factorx, factorx * originx, -factory, factory * originy), transformation: new L.Transformation(factorx,factorx * originx,-factory,factory * originy),
scale: function(zoom) { scale: function(zoom) {
return Math.pow(2, zoom); return Math.pow(2, zoom);
}, },
zoom: function(scale) { zoom: function(scale) {
return Math.log(scale) / Math.LN2; return Math.log(scale) / Math.LN2;
}, },
distance: function(latlng1, latlng2) { distance: function(latlng1, latlng2) {
var dx = latlng2.lng - latlng1.lng, var dx = latlng2.lng - latlng1.lng
dy = latlng2.lat - latlng1.lat; , dy = latlng2.lat - latlng1.lat;
return Math.sqrt(dx * dx + dy * dy); return Math.sqrt(dx * dx + dy * dy);
}, },
infinite: true infinite: true
}); });
// Init map // Init map
var mymap = L.map('mapid', { var mymap = L.map('mapid', {
crs: L.CRS.pr crs: L.CRS.pr
}).setView([0, 0], 6); }).setView([0, 0], 6);
var mapheight = 16384; var mapheight = 16384;
var mapwidth = mapheight; var mapwidth = mapheight;
var sw = mymap.unproject([0, 0], zoom_level_real); var sw = mymap.unproject([0, 0], zoom_level_real);
var ne = mymap.unproject([mapwidth, mapheight], zoom_level_real); var ne = mymap.unproject([mapwidth, mapheight], zoom_level_real);
var layerbounds = new L.LatLngBounds(sw, ne); var layerbounds = new L.LatLngBounds(sw,ne);
var layers = L.control.layers({}, {}).addTo(mymap); var layers = L.control.layers({}, {}).addTo(mymap);
function load_svg(name, url, active=1) { function load_svg(name, url, active=1) {
var xhttp_ps = new XMLHttpRequest(); var xhttp_ps = new XMLHttpRequest();
xhttp_ps.onreadystatechange = function() { xhttp_ps.onreadystatechange = function() {
if (this.readyState == 4) { if (this.readyState == 4) {
if (this.status == 200) { if (this.status == 200) {
var svgElement = document.createElementNS("http://www.w3.org/2000/svg", "svg"); var svgElement = document.createElementNS("http://www.w3.org/2000/svg", "svg");
svgElement.setAttribute('xmlns', "http://www.w3.org/2000/svg"); svgElement.setAttribute('xmlns', "http://www.w3.org/2000/svg");
svgElement.setAttribute('viewBox', "0 0 16384 16384"); svgElement.setAttribute('viewBox', "0 0 16384 16384");
svgElement.innerHTML = xhttp_ps.responseText; svgElement.innerHTML = xhttp_ps.responseText;
var svgElementBounds = [ [ 0, 0 ], [ 1000, 1000 ] ]; var svgElementBounds = [[0, 0], [1000, 1000]];
var overlay = L.svgOverlay(svgElement, svgElementBounds); var overlay = L.svgOverlay(svgElement, svgElementBounds);
layers.addOverlay(overlay, name); layers.addOverlay(overlay, name);
if (active) if (active)
overlay.addTo(mymap); overlay.addTo(mymap);
return overlay; return overlay;
} else { } else {
alert("Error: Could not load SVG map layer (" + name + ")"); alert("Error: Could not load SVG map layer (" + name + ")");
} }
}
} }
}; ;
xhttp_ps.open("GET", url, true); xhttp_ps.open("GET", url, true);
xhttp_ps.send(); xhttp_ps.send();
} }
function load_tiles(name, id) { function load_tiles(name, id) {
var satellite = L.tileLayer('https://notsyncing.net/maps.linux-forks.de/tiles/?id={id}&z={z}&x={x}&y={y}', { var satellite = L.tileLayer('https://notsyncing.net/maps.linux-forks.de/tiles/?id={id}&z={z}&x={x}&y={y}', {
maxZoom: 8, maxZoom: 8,
maxNativeZoom: 6, maxNativeZoom: 6,
minNativeZoom: 0, minNativeZoom: 0,
minZoom: 0, minZoom: 0,
noWrap: true, noWrap: true,
attribution: 'Map data &copy; <a href="https://wiki.linux-forks.de/mediawiki/index.php/Maps">Linux-Forks</a>, ' + attribution: 'Map data &copy; <a href="https://wiki.linux-forks.de/mediawiki/index.php/Maps">Linux-Forks</a>, ' + 'All rights reserved, ',
'All rights reserved, ', id: id,
id: id, tileSize: 256,
tileSize: 256, zoomOffset: 0,
zoomOffset: 0, opacity: 1.0,
opacity: 1.0, bounds: layerbounds
bounds: layerbounds });
}); layers.addBaseLayer(satellite, name);
layers.addBaseLayer(satellite, name); return satellite;
return satellite;
} }
function load_geojson(name, url, iconname, iconcolor, active=1) {
var xhttp_ps = new XMLHttpRequest();
function load_geojson(name, url, iconname, iconcolor,active=1) { xhttp_ps.onreadystatechange = function() {
var xhttp_ps = new XMLHttpRequest(); if (this.readyState == 4) {
xhttp_ps.onreadystatechange = function() { if (this.status == 200) {
if (this.readyState == 4) { var geojson = L.geoJSON(JSON.parse(xhttp_ps.responseText), {
if (this.status == 200) { onEachFeature: function(feature, layer) {
var geojson = L.geoJSON(JSON.parse(xhttp_ps.responseText), { label = String(feature.properties.name)
onEachFeature: function (feature, layer) { layer.bindPopup('<h1><a href="https://wiki.linux-forks.de/mediawiki/index.php/' + feature.properties.name + '">' + feature.properties.name + '</a> (' + feature.geometry.coordinates + ')</h1>' + '<p><img style="width:100%" src="' + feature.properties.image + '"></p>' + '<p>' + feature.properties.description + '</p>');
label = String(feature.properties.name) layer.bindTooltip(label, {
layer.bindPopup( permanent: true,
'<h1><a href="https://wiki.linux-forks.de/mediawiki/index.php/'+feature.properties.name+'">'+feature.properties.name+'</a> ('+feature.geometry.coordinates+')</h1>'+ direction: "center",
'<p><img style="width:100%" src="' + feature.properties.image + '"></p>' + className: "city-names"
'<p>'+feature.properties.description+'</p>' }).openTooltip();
); },
layer.bindTooltip(label, {permanent: true, direction: "center", className: "city-names"}).openTooltip(); pointToLayer: function(feature, latlng) {
}, label = String(feature.properties.name)
pointToLayer: function(feature,latlng){ return new L.marker(latlng,{
label = String(feature.properties.name) icon: L.AwesomeMarkers.icon({
return new L.marker(latlng, {icon: L.AwesomeMarkers.icon({ icon: iconname,
icon: iconname, markerColor: iconcolor
markerColor: iconcolor })
})}).bindTooltip(label, {permanent: false, direction: "center", opacity: 0.7}).openTooltip(); }).bindTooltip(label, {
} permanent: false,
}); direction: "center",
layers.addOverlay(geojson, name); opacity: 0.7
if (active) }).openTooltip();
geojson.addTo(mymap); }
return geojson; });
} else { layers.addOverlay(geojson, name);
alert("Error: Could not load geojson map layer (" + name + ")."); if (active)
} geojson.addTo(mymap);
return geojson;
} else {
alert("Error: Could not load geojson map layer (" + name + ").");
}
}
} }
}; ;
xhttp_ps.open("GET", url, true); xhttp_ps.open("GET", url, true);
xhttp_ps.send(); xhttp_ps.send();
} }
load_tiles("Satellite (2020-04-09)", 'world-2020-04-09').addTo(mymap); load_tiles("Satellite (2020-04-09)", 'world-2020-04-09').addTo(mymap);
@ -140,15 +145,12 @@ var popup = L.popup();
L.AwesomeMarkers.Icon.prototype.options.prefix = 'fa'; L.AwesomeMarkers.Icon.prototype.options.prefix = 'fa';
var baseballIcon = L.AwesomeMarkers.icon({ var baseballIcon = L.AwesomeMarkers.icon({
icon: 'coffee', icon: 'coffee',
markerColor: 'red' markerColor: 'red'
}); });
function onMapClick(e) { function onMapClick(e) {
popup popup.setLatLng(e.latlng).setContent("You clicked the map at " + e.latlng.toString()).openOn(mymap);
.setLatLng(e.latlng)
.setContent("You clicked the map at " + e.latlng.toString())
.openOn(mymap);
} }
mymap.on('click', onMapClick); mymap.on('click', onMapClick);