diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-05-14 14:02:53 +0200 |
---|---|---|
committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 16:43:33 +0100 |
commit | 97f3ac8054de22b94e4ae169dae33ed5b1b41a52 (patch) | |
tree | 845aa35a85b5e670c249ccf0ed4e1087328e0c35 /editor/editor.ml | |
parent | bf94695abeda0d7bb296ae4cd0f9a53782587d4a (diff) |
Update popin events in editor
Diffstat (limited to 'editor/editor.ml')
-rwxr-xr-x | editor/editor.ml | 6 |
1 files changed, 2 insertions, 4 deletions
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 () = |