From cee939ada70967b70fe92ca24b3428cc8c8b7c38 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Mon, 7 Feb 2022 14:58:00 +0100 Subject: Update editor --- editor/actions/add_page.ml | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'editor/actions/add_page.ml') diff --git a/editor/actions/add_page.ml b/editor/actions/add_page.ml index ec9768b..fcad87f 100755 --- a/editor/actions/add_page.ml +++ b/editor/actions/add_page.ml @@ -21,9 +21,16 @@ let create : unit -> State.event Note.event = fun () -> let title = Jstr.v "Nouvelle page" in + let form = Forms.Add_page.create () in + + let valid_on = Note.S.map + (fun Forms.Add_page.{title} -> not @@ Jstr.equal Jstr.empty title) + (fst form) + in let ev = Elements.Popup.create ~title - ~form:(Forms.Add_page.create ()) + ~form + ~valid_on () in Note.E.map -- cgit v1.2.3