From 97f3ac8054de22b94e4ae169dae33ed5b1b41a52 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Fri, 14 May 2021 14:02:53 +0200 Subject: Update popin events in editor --- editor/ui.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'editor/ui.ml') diff --git a/editor/ui.ml b/editor/ui.ml index 2cd8ff8..cc90481 100755 --- a/editor/ui.ml +++ b/editor/ui.ml @@ -3,7 +3,7 @@ open Brr_note module Js = Js_of_ocaml.Js let popup - : title:Jstr.t -> ?form:Forms.Events.t option -> 'a option Note.E.send -> El.t + : title:Jstr.t -> ?form:Forms.Events.t option -> Forms.Events.event option Note.E.send -> El.t = fun ~title ?(form = None) send -> (* Ensure we keep a track for the signal event. -- cgit v1.2.3