summaryrefslogtreecommitdiff
path: root/editor/editor.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-05-14 14:02:53 +0200
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:43:33 +0100
commit97f3ac8054de22b94e4ae169dae33ed5b1b41a52 (patch)
tree845aa35a85b5e670c249ccf0ed4e1087328e0c35 /editor/editor.ml
parentbf94695abeda0d7bb296ae4cd0f9a53782587d4a (diff)
Update popin events in editor
Diffstat (limited to 'editor/editor.ml')
-rwxr-xr-xeditor/editor.ml6
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 () =