diff options
author | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 15:27:05 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 16:43:33 +0100 |
commit | 28417d795a6922c3df3c2c0aea78a51648b0428e (patch) | |
tree | 28af6bd86e2127003855574b4c777efa1cd07207 /editor/actions/export.ml | |
parent | 72e3b16bbd258e63f047392c973ba5e8f0a823c8 (diff) |
Added import button in editor
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 )) |