From 72e3b16bbd258e63f047392c973ba5e8f0a823c8 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Tue, 1 Jun 2021 13:11:58 +0200 Subject: Added export button in editor --- editor/forms/delete_page.ml | 18 ------------------ editor/forms/delete_page.mli | 5 ----- editor/forms/dune | 4 ---- editor/forms/validation.ml | 13 +++++++++++++ editor/forms/validation.mli | 5 +++++ 5 files changed, 18 insertions(+), 27 deletions(-) delete mode 100755 editor/forms/delete_page.ml delete mode 100755 editor/forms/delete_page.mli create mode 100755 editor/forms/validation.ml create mode 100755 editor/forms/validation.mli (limited to 'editor/forms') diff --git a/editor/forms/delete_page.ml b/editor/forms/delete_page.ml deleted file mode 100755 index 37b1c32..0000000 --- a/editor/forms/delete_page.ml +++ /dev/null @@ -1,18 +0,0 @@ -open Brr -open Note - -type t = unit - -let create - : unit -> t Note.signal * El.t - = fun () -> - let state = S.const () in - - let message = begin - let open Jstr in - - (v "La page sera définitivement supprimée") - end in - - ( state - , El.txt message ) diff --git a/editor/forms/delete_page.mli b/editor/forms/delete_page.mli deleted file mode 100755 index 0a3d9f9..0000000 --- a/editor/forms/delete_page.mli +++ /dev/null @@ -1,5 +0,0 @@ -type t = unit - -val create - : unit -> t Note.signal * Brr.El.t - diff --git a/editor/forms/dune b/editor/forms/dune index 124ce01..5aaf249 100755 --- a/editor/forms/dune +++ b/editor/forms/dune @@ -3,10 +3,6 @@ (libraries brr brr.note - elements - js_lib - blog - application state ) (preprocess (pps js_of_ocaml-ppx)) diff --git a/editor/forms/validation.ml b/editor/forms/validation.ml new file mode 100755 index 0000000..cda7db8 --- /dev/null +++ b/editor/forms/validation.ml @@ -0,0 +1,13 @@ +open Brr +open Note + +type t = unit + +let create + : Jstr.t -> t Note.signal * El.t + = fun message -> + let state = S.const () in + + + ( state + , El.txt message ) diff --git a/editor/forms/validation.mli b/editor/forms/validation.mli new file mode 100755 index 0000000..680b3ed --- /dev/null +++ b/editor/forms/validation.mli @@ -0,0 +1,5 @@ +type t = unit + +val create + : Jstr.t -> t Note.signal * Brr.El.t + -- cgit v1.2.3