|
|
7effdcc577
|
better popups
|
2026-03-19 21:49:00 +01:00 |
|
|
|
23ea827e40
|
better Layer.bind_popup and add Map.open/close_popup
|
2026-03-19 21:49:00 +01:00 |
|
|
|
2affa8b5fa
|
fix Point_to_layer
|
2026-03-19 21:49:00 +01:00 |
|
|
|
ede9b2076d
|
add popup options
|
2026-03-19 21:49:00 +01:00 |
|
|
|
a438e54f42
|
add geojson options
|
2026-03-19 21:49:00 +01:00 |
|
|
|
fbcb87f0d8
|
add marker options
|
2026-03-19 21:49:00 +01:00 |
|
|
|
c3766414c3
|
add icon
|
2026-03-19 21:49:00 +01:00 |
|
|
|
5fecae013c
|
add of_jv, on, ?options for bind_popup
|
2026-03-19 21:49:00 +01:00 |
|
|
|
10aaf21209
|
add js_of_ocaml to package dependency
|
2026-03-19 21:49:00 +01:00 |
|
|
|
83527f5cae
|
change map creation
|
2026-03-19 21:49:00 +01:00 |
|
|
|
06c614d2c5
|
add usage to readme
|
2026-03-19 21:49:00 +01:00 |
|
|
|
38c0d5ef53
|
add documentation, remove Map.as_target
|
2026-03-19 21:49:00 +01:00 |
|
|
|
68ee03bead
|
make Map.create take Brr.El
|
2026-03-19 21:49:00 +01:00 |
|
|
|
0370fb97a2
|
add example
|
2026-03-19 21:49:00 +01:00 |
|
|
|
f0435c549b
|
add point
|
2026-03-19 21:49:00 +01:00 |
|
|
|
d6195f00e9
|
license
|
2026-03-19 21:48:58 +01:00 |
|
|
|
dbfbaeda60
|
use gadts for layer, clean code
|
2022-04-09 22:27:06 +02:00 |
|
|
|
2a760bc98d
|
use gadts for event, clean repo
|
2022-04-09 14:01:58 +02:00 |
|
|
|
d9f25e4d8d
|
add layer
|
2022-04-08 13:27:45 +02:00 |
|
|
|
d99eafccbf
|
better Ev
|
2022-04-08 11:27:12 +02:00 |
|
|
|
2d8301bdfd
|
add tile_url option
|
2022-04-07 17:58:01 +02:00 |
|
|
|
5868601fa1
|
change type' to type t
|
2022-04-07 15:31:06 +02:00 |
|
|
|
82d74ad985
|
split modules and fix Ev
|
2022-04-07 15:31:06 +02:00 |
|
|
|
2154a10db4
|
add more functions
|
2022-04-06 20:36:53 +02:00 |
|
|
|
2fe7c1450d
|
make geopub/leaflet a separate library
|
2022-04-06 18:52:52 +02:00 |
|
