move slippy map

2025-12-08 14:54:28 +00:00 · 2023-11-08 15:52:17 +02:00
parent 80fa8cb48d
commit a6e9ae4c04
7 changed files with 6 additions and 1 deletions
--- a/map/slippy/index-leaflet.html
+++ b/map/slippy/index-leaflet.html
--- a/map/slippy/index.html
+++ b/map/slippy/index.html
@@ -9,7 +9,7 @@

 <script src="/javascript/openlayers/OpenLayers.js"></script>
 <!-- <script src="/javascript/openstreetmap/OpenStreetMap.js"></script> -->
-<!-- <script src="util.js"></script> -->
+ <script src="util.js"></script> 
 
 <script type="text/javascript">
 //<![CDATA[
--- a/map/slippy/map.css
+++ b/map/slippy/map.css
--- a/map/slippy/map.html
+++ b/map/slippy/map.html
--- a/map/slippy/readme.txt
+++ b/map/slippy/readme.txt
@@ -0,0 +1,5 @@
+This seems abandoned.
+
+Like most stuff that relies on javascript, it very quickly goes out of date and stops working.
+It's why we try to minimize our use of javascript.
+Philip Sargent
--- a/map/slippy/test.html
+++ b/map/slippy/test.html
--- a/map/slippy/util.js
+++ b/map/slippy/util.js