This repository has been archived on 2025-04-25. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Nicolas F 23ea1918ea Update leaflet to 1.3.1

2018-05-06 17:11:46 +02:00

..

icons

Actually add the high-dpi icons, durr

2017-02-19 11:37:02 -05:00

images

Update to latest version of leaflet 1.0.2

2016-12-10 17:19:37 -05:00

bed.png

add bed marker icon from faithful pack

2012-03-27 03:04:09 +02:00

compass_lower-left.png

optimize the images used in the UI an otherwise bundled

2012-01-11 22:35:01 -07:00

compass_lower-right.png

optimize the images used in the UI an otherwise bundled

2012-01-11 22:35:01 -07:00

compass_upper-left.png

optimize the images used in the UI an otherwise bundled

2012-01-11 22:35:01 -07:00

compass_upper-right.png

optimize the images used in the UI an otherwise bundled

2012-01-11 22:35:01 -07:00

index.html

leaflet: Reimplement coordinate box on bottom left

2017-03-13 14:04:37 +01:00

jquery.min.js

Include licnese information into jquery and leafjet js files

2016-12-10 14:56:17 -05:00

leaflet.css

Update leaflet to 1.3.1

2018-05-06 17:11:46 +02:00

leaflet.js

Update leaflet to 1.3.1

2018-05-06 17:11:46 +02:00

overviewer.css

leaflet: Reimplement coordinate box on bottom left

2017-03-13 14:04:37 +01:00

regions.js

Fixed rendering regions. genPOI.py: add new line to baseMakers.js; views.js: add polygons, with all the features that Google provides, polylines work fine; regions.js: example of usage

2014-12-13 17:17:11 +01:00

signpost_icon.png

optimize the images used in the UI an otherwise bundled

2012-01-11 22:35:01 -07:00

signpost-shadow.png

optimize the images used in the UI an otherwise bundled

2012-01-11 22:35:01 -07:00

signpost.png

optimize the images used in the UI an otherwise bundled

2012-01-11 22:35:01 -07:00