diff options
Diffstat (limited to 'editor/actions/export.ml')
-rwxr-xr-x | editor/actions/export.ml | 16 |
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 )) |