From 28417d795a6922c3df3c2c0aea78a51648b0428e Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@dailly.me>
Date: Mon, 7 Feb 2022 15:27:05 +0100
Subject: Added import button in editor

---
 editor/actions/export.ml | 16 ++++------------
 1 file changed, 4 insertions(+), 12 deletions(-)

(limited to 'editor/actions/export.ml')

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 ))
-- 
cgit v1.2.3