better Layer.bind_popup and add Map.open/close_popup

This commit is contained in:
Swrup 2022-06-26 04:08:53 +02:00
parent 8579b9aeed
commit 9c54ddab97
6 changed files with 21 additions and 24 deletions

View file

@ -24,7 +24,7 @@ val remove : _ t -> unit
val remove_from : Map.t -> _ t -> unit
(** [bind_popup popup layer] binds [popup] to [layer] *)
val bind_popup : Brr.El.t -> Popup.opt list -> _ t -> unit
val bind_popup : Popup.t -> _ t -> unit
(** [unbind_popup layer] unbinds the popup bound to [layer] *)
val unbind_popup : _ t -> unit