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/storage.mli | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'editor/storage.mli') 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 -- cgit v1.2.3