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/editor.ml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'editor/editor.ml') diff --git a/editor/editor.ml b/editor/editor.ml index 1a34dfc..2849b29 100755 --- a/editor/editor.ml +++ b/editor/editor.ml @@ -68,7 +68,7 @@ let app id content = (* This event is used in the pop process. The sender is given to the subroutine in order to track the window closing *) - let event, sender = Note.E.create () in + let (event: Forms.Events.event option Note.event), sender = Note.E.create () in (* Check the pre-requisite *) let events_opt = Actions.populate_menu () in @@ -81,8 +81,6 @@ let app id content = let page_id = State.Storage.page_id () in let view, last_backup = build_view pm page_id editor in - - let init_state = State.{ editable = true ; view @@ -103,7 +101,7 @@ let app id content = ; Note.E.map (fun () -> App.DeleteEvent) btn_events.Actions.delete ; Note.E.map (fun () -> App.AddEvent) btn_events.Actions.add ; Note.E.map (fun v -> App.LoadEvent v) btn_events.Actions.redirect - ; Note.E.map (fun v -> App.CloseEvent v) event + ; Note.E.map (fun v -> App.ClosePopup v) event ]) in let () = -- cgit v1.2.3