blob: 3328dd7c90f0a752fa1672aa6a79c280d91bab38 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
open Brr
open Note
type t = Jstr.t
type Events.kind +=
| DeletePage of 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
)
let on_close
: t -> State.t -> State.t
= fun id state ->
State.Storage.delete (fun () -> Some id);
let json = State.Storage.load None in
State.load_page None state json
|