From f0a168c8e9f51e88a8230a2977717ed37c89269e Mon Sep 17 00:00:00 2001 From: Swrup Date: Wed, 3 Jul 2024 11:19:26 +0200 Subject: [PATCH] close_popup: rm label --- src/map.ml | 2 +- src/map.mli | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/map.ml b/src/map.ml index 9dec8d6..3c3ae0e 100644 --- a/src/map.ml +++ b/src/map.ml @@ -50,7 +50,7 @@ let wrap_latlng latlng map = let open_popup popup map = ignore @@ Jv.call map "openPopup" [| Popup.to_jv popup |] -let close_popup ~popup map = +let close_popup popup map = ignore @@ match popup with diff --git a/src/map.mli b/src/map.mli index ede2965..b50e841 100644 --- a/src/map.mli +++ b/src/map.mli @@ -52,4 +52,4 @@ val to_jv : t -> Jv.t val open_popup : Popup.t -> t -> unit (* [close_popup opt map] if [opt] is [Some popup] closes [popup] else closes previously opened popup *) -val close_popup : popup:Popup.t option -> t -> unit +val close_popup : Popup.t option -> t -> unit