From 72e3b16bbd258e63f047392c973ba5e8f0a823c8 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Tue, 1 Jun 2021 13:11:58 +0200
Subject: Added export button in editor

---
 editor/state/storage.mli | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'editor/state/storage.mli')

diff --git a/editor/state/storage.mli b/editor/state/storage.mli
index 5b7e0a0..50e164e 100755
--- a/editor/state/storage.mli
+++ b/editor/state/storage.mli
@@ -34,3 +34,6 @@ val delete
 (** Collect all the keys to the existing pages *)
 val get_ids
   : unit -> Jstr.t list
+
+val to_json
+  : unit -> Jstr.t
-- 
cgit v1.2.3