add layer

This commit is contained in:
Swrup 2022-04-08 13:21:20 +02:00
parent d99eafccbf
commit d9f25e4d8d
11 changed files with 123 additions and 35 deletions

21
src/layer.mli Normal file
View file

@ -0,0 +1,21 @@
type t
val add_to : Map.t -> t -> unit
val remove : t -> unit
val remove_from : Map.t -> t -> unit
val bind_popup : Brr.El.t -> t -> unit
val unbind_popup : t -> unit
val open_popup : t -> unit
val close_popup : t -> unit
val get_popup : t -> Popup.t
val of_jv_t : Jv.t -> t
val to_jv_t : t -> Jv.t