diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-04-29 15:20:11 +0200 |
---|---|---|
committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 16:43:33 +0100 |
commit | 2fc4e793b12341df6264e22c0b8bd0f6dd2bd27d (patch) | |
tree | b61b55dc11e4361927c1638d1eb4e82feeef5465 /editor/storage.mli | |
parent | eb319516fd922ab89b7120a885d1e801fa3f45aa (diff) |
Added pop-up and events in editor
Diffstat (limited to 'editor/storage.mli')
-rwxr-xr-x | editor/storage.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/editor/storage.mli b/editor/storage.mli index 7ae77a6..5b7e0a0 100755 --- a/editor/storage.mli +++ b/editor/storage.mli @@ -22,12 +22,12 @@ end The function [f] is called to identified which is the appropriate page id. *) val load - : (unit -> Jstr.t option) -> content Js.t + : Jstr.t option -> content Js.t val save - : check:(content Js.t -> bool) -> content Js.t -> (unit -> Jstr.t option) -> (bool, Jv.Error.t) result + : check:(content Js.t -> bool) -> content Js.t -> Jstr.t option -> (bool, Jv.Error.t) result -(** Remove the page from the storage and reload the page *) +(** Remove the page from the storage. *) val delete : (unit -> Jstr.t option) -> unit |