From 2fc4e793b12341df6264e22c0b8bd0f6dd2bd27d Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Thu, 29 Apr 2021 15:20:11 +0200 Subject: Added pop-up and events in editor --- editor/forms/delete_page.ml | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100755 editor/forms/delete_page.ml (limited to 'editor/forms/delete_page.ml') diff --git a/editor/forms/delete_page.ml b/editor/forms/delete_page.ml new file mode 100755 index 0000000..701162c --- /dev/null +++ b/editor/forms/delete_page.ml @@ -0,0 +1,25 @@ +open Brr +open Note + +type Events.kind += + | DeletePage of Jstr.t [@@unboxed] + +let create + : Jstr.t -> Events.t + = fun name -> + + let state = + S.const (DeletePage name) in + + let message = begin + let open Jstr in + + (v "La page " ) + + name + + (v " sera définitivement supprimée") + end in + + ( state + , El.txt message + ) + -- cgit v1.2.3