|
dune
|
move marker to separate module
|
2026-03-19 21:49:00 +01:00 |
|
event.ml
|
add point
|
2026-03-19 21:49:00 +01:00 |
|
event.mli
|
add point
|
2026-03-19 21:49:00 +01:00 |
|
global.ml
|
license
|
2026-03-19 21:48:58 +01:00 |
|
icon.ml
|
add Icon.set_default_image_path
|
2026-03-19 21:49:00 +01:00 |
|
icon.mli
|
add Icon.set_default_image_path
|
2026-03-19 21:49:00 +01:00 |
|
latlng.ml
|
-> Latlng.create ~lat ~lng
|
2026-03-19 21:49:00 +01:00 |
|
latlng.mli
|
-> Latlng.create ~lat ~lng
|
2026-03-19 21:49:00 +01:00 |
|
layer.ml
|
add tile_layer_opt; untested
|
2026-03-19 21:49:00 +01:00 |
|
layer.mli
|
add tile_layer_opt; untested
|
2026-03-19 21:49:00 +01:00 |
|
leaflet.js
|
make geopub/leaflet a separate library
|
2022-04-06 18:52:52 +02:00 |
|
map.ml
|
better popups
|
2026-03-19 21:49:00 +01:00 |
|
map.mli
|
small popup change
|
2026-03-19 21:49:00 +01:00 |
|
marker.ml
|
cleanup Marker
|
2026-03-19 21:49:00 +01:00 |
|
marker.mli
|
cleanup Marker
|
2026-03-19 21:49:00 +01:00 |
|
point.ml
|
add icon
|
2026-03-19 21:49:00 +01:00 |
|
point.mli
|
add icon
|
2026-03-19 21:49:00 +01:00 |
|
popup.ml
|
small popup change
|
2026-03-19 21:49:00 +01:00 |
|
popup.mli
|
small popup change
|
2026-03-19 21:49:00 +01:00 |
