summaryrefslogtreecommitdiff
path: root/editor/actions/export.ml
diff options
context:
space:
mode:
Diffstat (limited to 'editor/actions/export.ml')
-rwxr-xr-xeditor/actions/export.ml16
1 files changed, 4 insertions, 12 deletions
diff --git a/editor/actions/export.ml b/editor/actions/export.ml
index a97eeac..71e3b64 100755
--- a/editor/actions/export.ml
+++ b/editor/actions/export.ml
@@ -31,16 +31,8 @@ end
(** Create a new element *)
let create
- : unit -> State.event Note.event
+ : unit -> State.event
= fun () ->
- let title = Jstr.v "Confirmation"
- and message = Jstr.v "Exporter les notes" in
- let ev = Elements.Popup.create
- ~title
- ~form:(Some (Forms.Validation.create message ))
- in
- Note.E.map
- (fun v -> State.E
- ( v
- , (module M : State.Event with type t = M.t )))
- (Note.E.Option.on_some ev)
+ State.E
+ ( ()
+ , (module M : State.Event with type t = M.t ))