add popup options

This commit is contained in:
Swrup 2022-06-20 10:05:35 +02:00
parent 502614b9d4
commit 85e6ad34c6
6 changed files with 101 additions and 9 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 -> ?options:Jv.t -> _ t -> unit
val bind_popup : Brr.El.t -> Popup.opt list -> _ t -> unit
(** [unbind_popup layer] unbinds the popup bound to [layer] *)
val unbind_popup : _ t -> unit