1 files changed, 77 insertions, 0 deletions
diff --git a/htdocs/mapscript.js b/htdocs/mapscript.js
index d7ca17b..877846d 100644
--- a/htdocs/mapscript.js
+++ b/htdocs/mapscript.js
@@ -1,3 +1,4 @@
+var editor_mode = 0;
 var mymap;
 var streetLabelsRenderer = new L.StreetLabels({
 	collisionFlg: true,
@@ -173,6 +174,62 @@ load_geojson("Streets", "./geojson/streets.json", "street", "blue", 0);
 
 L.control.scale().addTo(mymap);
 
+function get_current_location_str() {
+	var latlng = mymap.getCenter();
+	return Math.round(latlng.lat) + "," + Math.round(latlng.lng) + "," + mymap.getZoom();
+}
+
+/* Important: Do not use mymap.setView, use this function instead */
+function jump_to(latlng, zoom = -1) {
+	if (zoom == -1)
+		zoom = mymap.getZoom();
+	document.location.hash = "#" + Math.round(latlng.lat) + "," + Math.round(latlng.lng) + "," + zoom;
+}
+
+function jump_to_marker(e) {
+	if (!editor_mode)
+		jump_to(e.target.getLatLng());
+}
+
+function prompt_location() {
+	var str = prompt("Enter coordinates to jump to:\n\n" +
+			"Format: x, y [, zoom]", get_current_location_str());
+	if (str)
+		document.location.hash = "#" + str;
+}
+
+L.MyControl = L.Control.extend({
+	options: {
+		position: 'topleft',
+		callback: null,
+		kind: '',
+		html: ''
+	},
+	onAdd: function (map) {
+		var container = L.DomUtil.create('div', 'leaflet-control leaflet-bar'),
+		link = L.DomUtil.create('a', '', container);
+
+		link.href = '#';
+		link.title = this.options.title;
+		link.innerHTML = this.options.html;
+		L.DomEvent.on(link, 'click', L.DomEvent.stop)
+		.on(link, 'click', function () {
+			window.LAYER = this.options.callback.call();
+		}, this);
+	return container;
+	}
+});
+
+L.GotoControl = L.MyControl.extend({
+	options: {
+		position: 'topleft',
+		callback: prompt_location,
+		title: 'Jump to coordinates.',
+		html: '⌖'
+	}
+});
+mymap.addControl(new L.GotoControl());
+
 var popup = L.popup();
 
 L.AwesomeMarkers.Icon.prototype.options.prefix = 'fa';
@@ -186,3 +243,23 @@ function onMapClick(e) {
 }
 
 mymap.on('click', onMapClick);
+
+function update_hash_from_position(e) {
+	document.location.hash = "#" + get_current_location_str();
+}
+mymap.on('zoomend', update_hash_from_position);
+mymap.on('dragend', update_hash_from_position);
+
+function onHashChange(e) {
+	if (document.location.hash == "#" + get_current_location_str())
+		return; // We're already there
+	coordstr = window.location.hash.slice(1).replace(/%20/g, "").split(",");
+	if (coordstr.length < 2)
+		coordstr.push(0); // Default y
+	if (coordstr.length < 3)
+		coordstr.push(mymap.getZoom()); // Default zoom
+	var latlng = L.latLng(parseFloat(coordstr[0]), parseFloat(coordstr[1]));
+	mymap.setView(latlng, parseInt(coordstr[2]));
+}
+window.addEventListener("hashchange", onHashChange, false);
+onHashChange(null);