diff options
| author | Joris | 2020-08-08 12:49:03 +0200 |
|---|---|---|
| committer | Joris | 2020-08-08 12:49:03 +0200 |
| commit | 081e6aae57719c15bdbc5e973ca7ddba9506a4bb (patch) | |
| tree | a8de15bb4165639cf283bde7b7e63eb330e83d88 /src/Lib/Leaflet.ml | |
| parent | 4ee0dfae75fda3a8b6347d55c728b50ce5c210d9 (diff) | |
Show context menu to add, modify and delete markers
Diffstat (limited to 'src/Lib/Leaflet.ml')
| -rw-r--r-- | src/Lib/Leaflet.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Lib/Leaflet.ml b/src/Lib/Leaflet.ml index a8a8978..0cc7976 100644 --- a/src/Lib/Leaflet.ml +++ b/src/Lib/Leaflet.ml @@ -16,6 +16,9 @@ type lat_lng = lng : float; } +external original_event : event -> Dom.mouseEvent = "originalEvent" + [@@bs.get] + external lat_lng : event -> lat_lng = "latlng" [@@bs.get] |